In Section 17.2.5, we said that the specification Algebraic–draw could be extended to say that a…

In Section 17.2.5, we said that the
specification Algebraic–draw could be extended to say that a move, resize or
unselect after a delete has no effect. The axiom for unselect looks like this:
(9) unselect(delete(g)) = delete(g) Write two more axioms (10) and (11) which
say the same about move and resize. Now use axioms (4) and (5) to show that (9)
implies both your new axioms.

Don't use plagiarized sources. Get Your Custom Essay on
In Section 17.2.5, we said that the specification Algebraic–draw could be extended to say that a…
For as low as $7/Page
Order Essay