diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-19 02:29:06 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-19 02:29:06 +0000 |
commit | e61f5a0fa4656dd256ad664528e9a6355638bd41 (patch) | |
tree | d7241a1c01fda05575d09af5a845340fa8084a74 /src/share/algebra/category.daase | |
parent | dd685997f154b236057a386a046f3202efaaac91 (diff) | |
download | open-axiom-e61f5a0fa4656dd256ad664528e9a6355638bd41.tar.gz |
* algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)
[reducedSystem]: Add overload.
* algebra/si.spad.pamphlet (SingleInteger)[reducedSystem]: Tidy.
Diffstat (limited to 'src/share/algebra/category.daase')
-rw-r--r-- | src/share/algebra/category.daase | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index 895c7e61..d9dcd8d4 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(203171 . 3485898207) +(203171 . 3485902604) (((|#2| |#2|) -12 (|has| |#2| (-319 |#2|)) (|has| |#2| (-1119))) ((#0=(-2 (|:| -3658 |#1|) (|:| -1932 |#2|)) #0#) |has| (-2 (|:| -3658 |#1|) (|:| -1932 |#2|)) (-319 (-2 (|:| -3658 |#1|) (|:| -1932 |#2|))))) ((((-576)) . T) (($) -2825 (|has| |#1| (-317)) (|has| |#1| (-374)) (|has| |#1| (-360)) (|has| |#1| (-568))) (((-419 (-576))) -2825 (|has| |#1| (-374)) (|has| |#1| (-360)) (|has| |#1| (-1057 (-419 (-576))))) ((|#1|) . T)) (((|#2| |#2|) . T)) @@ -75,7 +75,7 @@ ((((-576)) . T) (((-419 (-576))) -2825 (|has| |#2| (-38 (-419 (-576)))) (|has| |#2| (-1057 (-419 (-576))))) ((|#2|) . T) (($) -2825 (|has| |#2| (-464)) (|has| |#2| (-568)) (|has| |#2| (-926))) (((-876 |#1|)) . T)) (-2825 (|has| |#1| (-374)) (|has| |#1| (-568))) (-2825 (|has| |#1| (-374)) (|has| |#1| (-568))) -((((-2 (|:| -2599 |#1|) (|:| -3741 |#2|))) . T)) +((((-2 (|:| -2599 |#1|) (|:| -3455 |#2|))) . T)) ((($) . T)) ((((-576)) . T) (((-419 (-576))) -2825 (|has| |#1| (-38 (-419 (-576)))) (|has| |#1| (-1057 (-419 (-576))))) ((|#1|) . T) (($) -2825 (|has| |#1| (-464)) (|has| |#1| (-568)) (|has| |#1| (-926))) (((-1196)) . T)) ((((-874)) -2825 (|has| |#1| (-625 (-874))) (|has| |#1| (-862)) (|has| |#1| (-1119)))) @@ -309,11 +309,11 @@ ((((-548)) |has| |#2| (-626 (-548))) (((-905 (-390))) |has| |#2| (-626 (-905 (-390)))) (((-905 (-576))) |has| |#2| (-626 (-905 (-576))))) ((((-874)) . T)) (((|#1| |#2| |#3| |#4|) . T)) -((((-2 (|:| -2599 |#1|) (|:| -3741 |#2|))) . T) (((-874)) . T)) +((((-2 (|:| -2599 |#1|) (|:| -3455 |#2|))) . T) (((-874)) . T)) ((((-548)) |has| |#1| (-626 (-548))) (((-905 (-390))) |has| |#1| (-626 (-905 (-390)))) (((-905 (-576))) |has| |#1| (-626 (-905 (-576))))) (((|#4|) -2825 (|has| |#4| (-174)) (|has| |#4| (-374)) (|has| |#4| (-1068)))) (((|#3|) -2825 (|has| |#3| (-174)) (|has| |#3| (-374)) (|has| |#3| (-1068)))) -((((-2 (|:| -2599 |#1|) (|:| -3741 |#2|))) . T)) +((((-2 (|:| -2599 |#1|) (|:| -3455 |#2|))) . T)) ((((-874)) . T)) ((((-874)) . T)) ((((-548)) . T) (((-576)) . T) (((-905 (-576))) . T) (((-390)) . T) (((-227)) . T)) |