Changes http://wiki.axiom-developer.org/343BugInFreeAbelianGroup/diff
--
??changed:
-The order in FreeAbelianGroup is broken and makes the domain unusable
-(e.g., comparison of Set FreeAbelianGroup S does not work properly)
-For example here is a cycle:
-
-----------------------------------------
-Z2:=FreeAbelianGroup Symbol
-
+The order in 'FreeAbelianGroup' is broken and makes the domain unusable
+(e.g., comparison of Set 'FreeAbelianGroup S' does not work properly)
+For example here is a cycle::
+
+ ----------------------------------------
+ Z2:=FreeAbelianGroup Symbol
+
+ a:= a::FreeAbelianGroup Symbol
+ b:= b::FreeAbelianGroup Symbol
+ z:= 0::FreeAbelianGroup Symbol
+
+ a < -b
+ -b < z
+ z < a
+ ----------------------------------------
+
+thus $a < -b < z < a$
+
+\begin{axiom}
a:= a::FreeAbelianGroup Symbol
??changed:
-a < -b
--b < z
-z < a
-----------------------------------------
-
-thus a < -b < z < a
-
-proposed patch in the last few lines of free.spad:
-
-545,546c545,546
-< ta.gen < tb.gen => true
-< ta.gen > tb.gen => false
----
-> ta.gen < tb.gen => tb.exp > 0
-> ta.gen > tb.gen => ta.exp < 0
-
+(a < -b)::Boolean
+(-b < z)::Boolean
+(z < a)::Boolean
+\end{axiom}
+
+proposed patch in the last few lines of free.spad::
+
+ 545,546c545,546
+ < ta.gen < tb.gen => true
+ < ta.gen > tb.gen => false
+ ---
+ > ta.gen < tb.gen => tb.exp > 0
+ > ta.gen > tb.gen => ta.exp < 0
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
