axiom-developer
[Top][All Lists]
Advanced
[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
reply via email to
[Prev in Thread] Current Thread [Next in Thread]