# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. Page created, but author did not leave any comments.

Anonymous

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeMay 10th 2022

Hi Anonymous,

am just on my phone here, I don’t have the leisure to go carefully through all these additions, but superficially it can easily look a little redundant.

Probably the usual process of internalization produces much of this “pre-“mathematics? Not each notion that can be produced by the internalization machine necessarily needs its own entry, there are just too many.

Therefore, if you could give some indication on where you are headed with the pre-yoga, that might be useful to know.

If you are not intending to go anywhere in particular, then maybe we could pause the production of pre-entries, take stock of those you already created, and see what these could be good for.

2. these are used to define geometric algebras

Anonymous

• CommentRowNumber4.
• CommentAuthorjonsterling
• CommentTimeAug 2nd 2022

Fixed typo (the module $V$ was written $A$ in the type of the grade projection operator)

• CommentRowNumber5.
• CommentAuthorJ-B Vienney
• CommentTimeAug 2nd 2022

Corrected a typo ($\times$ replaced by $\Rightarrow$ in the 4th axiom of the definition)