diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-09-21 22:23:57 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-09-21 22:23:57 +0000 |
| commit | 8e4e9304074fff69226b86bdc16cfd617115cd99 (patch) | |
| tree | 63a82e4a99089dd325f35bac6bc86467e3f989d3 /src/share/algebra/category.daase | |
| parent | 31cfd568a21d4187e3ac8e19439fa59e69273619 (diff) | |
| download | open-axiom-8e4e9304074fff69226b86bdc16cfd617115cd99.tar.gz | |
* algebra/data.spad.pamphlet (SystemInteger): Tidy.
* algebra/integer.spad.pamphlet (Integer): Likewise.
* algebra/si.spad.pamphlet (IntegerNumberSystem): Likewise.
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 ded6c6e1..a1a02c10 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(188047 . 3462551513) +(188047 . 3462558067) (((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1099))) ((#0=(-2 (|:| -3476 |#1|) (|:| -2484 |#2|)) #0#) |has| (-2 (|:| -3476 |#1|) (|:| -2484 |#2|)) (-310 (-2 (|:| -3476 |#1|) (|:| -2484 |#2|))))) ((((-566)) . T) (($) -2676 (|has| |#1| (-308)) (|has| |#1| (-365)) (|has| |#1| (-351)) (|has| |#1| (-558))) (((-409 (-566))) -2676 (|has| |#1| (-365)) (|has| |#1| (-351)) (|has| |#1| (-1038 (-409 (-566))))) ((|#1|) . T)) (((|#2| |#2|) . T)) @@ -74,7 +74,7 @@ ((((-566)) . T) (((-409 (-566))) -2676 (|has| |#2| (-38 (-409 (-566)))) (|has| |#2| (-1038 (-409 (-566))))) ((|#2|) . T) (($) -2676 (|has| |#2| (-454)) (|has| |#2| (-558)) (|has| |#2| (-909))) (((-864 |#1|)) . T)) (-2676 (|has| |#1| (-365)) (|has| |#1| (-558))) (-2676 (|has| |#1| (-365)) (|has| |#1| (-558))) -((((-2 (|:| -2430 |#1|) (|:| -2576 |#2|))) . T)) +((((-2 (|:| -2430 |#1|) (|:| -3428 |#2|))) . T)) ((($) . T)) ((((-566)) . T) (((-409 (-566))) -2676 (|has| |#1| (-38 (-409 (-566)))) (|has| |#1| (-1038 (-409 (-566))))) ((|#1|) . T) (($) -2676 (|has| |#1| (-454)) (|has| |#1| (-558)) (|has| |#1| (-909))) (((-1175)) . T)) ((((-862)) -2676 (|has| |#1| (-613 (-862))) (|has| |#1| (-850)) (|has| |#1| (-1099)))) @@ -299,11 +299,11 @@ ((((-538)) |has| |#2| (-614 (-538))) (((-892 (-381))) |has| |#2| (-614 (-892 (-381)))) (((-892 (-566))) |has| |#2| (-614 (-892 (-566))))) ((((-862)) . T)) (((|#1| |#2| |#3| |#4|) . T)) -((((-2 (|:| -2430 |#1|) (|:| -2576 |#2|))) . T) (((-862)) . T)) +((((-2 (|:| -2430 |#1|) (|:| -3428 |#2|))) . T) (((-862)) . T)) ((((-538)) |has| |#1| (-614 (-538))) (((-892 (-381))) |has| |#1| (-614 (-892 (-381)))) (((-892 (-566))) |has| |#1| (-614 (-892 (-566))))) (((|#4|) -2676 (|has| |#4| (-172)) (|has| |#4| (-365)) (|has| |#4| (-1049))) (($) |has| |#4| (-172))) (((|#3|) -2676 (|has| |#3| (-172)) (|has| |#3| (-365)) (|has| |#3| (-1049))) (($) |has| |#3| (-172))) -((((-2 (|:| -2430 |#1|) (|:| -2576 |#2|))) . T)) +((((-2 (|:| -2430 |#1|) (|:| -3428 |#2|))) . T)) ((((-862)) . T)) ((((-862)) . T)) ((((-538)) . T) (((-566)) . T) (((-892 (-566))) . T) (((-381)) . T) (((-225)) . T)) |