Generator
projection
A generator in the algebra library, called 5 times across 1 essays. Below: what it draws at its defaults and at each mode an essay asks for, what it checks while drawing, and everywhere it is used.
projection is one function. Everything below came out of it during this
build, at parameters taken from the essays rather than invented for this page — so a figure
here is the same figure a reader meets in an essay, and if the generator changes, this page
changes with it.
At its defaults
show: "signs"
What it checks while it draws
Collected by running the family and listening to lib/verify.js, not written
here. The count is how many separate times this build put that claim to the test.
- a·b is |a||b| cos θ ×1
- a·b is the shadow's length times |b| ×1
- the dropped line meets b at a right angle ×1
- the sign of a·b follows the angle ×1
- the vector projected onto is not zero ×1
Where it is called
Changing this generator changes every figure on this list. That is what makes the list worth publishing rather than keeping in a check script.