Hello,
--- attreg.spad.pamphlet.old 2006-08-19 17:00:41.000000000 +0200
+++ attreg.spad.pamphlet 2006-08-19 17:01:06.000000000 +0200
@@ -65,7 +65,7 @@
++ \spad{additiveValuation} implies
++ \spad{euclideanSize(a*b)=euclideanSize(a)+euclideanSize(b)}.
multiplicativeValuation
- ++ \spad{multiplicativeValuation} imples
+ ++ \spad{multiplicativeValuation} implies
++ \spad{euclideanSize(a*b)=euclideanSize(a)*euclideanSize(b)}.
NullSquare
++ \axiom{NullSquare} means that \axiom{[x,x] = 0} holds.
Greg
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
