[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Typo in src/algebra/attreg.spad.pamphlet
From: |
Vanuxem Grégory |
Subject: |
[Axiom-developer] Typo in src/algebra/attreg.spad.pamphlet |
Date: |
Sat, 19 Aug 2006 17:49:54 +0200 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Typo in src/algebra/attreg.spad.pamphlet,
Vanuxem Grégory <=