23.02.2014 Views

Shape

Shape

Shape

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

317 Design Is Calculating<br />

but really anything will do. All rectangles may be alike<br />

or quadrilaterals<br />

or polygons<br />

In fact, I can make the predicate that defines the assignment g as wild as I please.<br />

Maybe x in the schema x fi y is a blob of some special kind<br />

or any simple closed curve—whatever makes sense when you look is OK as long as<br />

there’s a general transformation t g for it.<br />

It’s also worth repeating that the predicates I use to define rules needn’t be<br />

preserved as I calculate. I can put two quadrilaterals together<br />

not unlike adding polygons and their transformations in the schema x fi x þ tðxÞ, and<br />

then move triangles<br />

according to the schema x fi tðxÞ. Predicates are simply a convenient way of<br />

describing rules—a way that doesn’t carry over to calculating. Then descriptions

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!