diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-12 22:56:37 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-12 22:56:37 +0000 |
| commit | 6c75a87d8ee00d48a0f5703aa9c86591078a50d3 (patch) | |
| tree | 28ff587bbc4d759dd0e3f96b156700ff01ba8c53 /src/share/algebra/category.daase | |
| parent | a2e3e641bdbcb6e77bbb572aea25a748a967abca (diff) | |
| download | open-axiom-6c75a87d8ee00d48a0f5703aa9c86591078a50d3.tar.gz | |
* src/algebra/: Systematically use not one? when comparing for
equality with 1.
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 5b51d29d..1b8351f6 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(205732 . 3508949904) +(205732 . 3508956490) (((|#2| |#2|) -12 (|has| |#2| (-321 |#2|)) (|has| |#2| (-1133))) ((#0=(-2 (|:| -3837 |#1|) (|:| -2715 |#2|)) #0#) |has| (-2 (|:| -3837 |#1|) (|:| -2715 |#2|)) (-321 (-2 (|:| -3837 |#1|) (|:| -2715 |#2|))))) ((((-560)) . T) (($) -2210 (|has| |#1| (-319)) (|has| |#1| (-376)) (|has| |#1| (-363)) (|has| |#1| (-571))) (((-421 (-560))) -2210 (|has| |#1| (-376)) (|has| |#1| (-363)) (|has| |#1| (-1070 (-421 (-560))))) ((|#1|) . T)) (((|#2| |#2|) . T)) @@ -78,7 +78,7 @@ ((((-560)) . T) (((-421 (-560))) -2210 (|has| |#2| (-38 (-421 (-560)))) (|has| |#2| (-1070 (-421 (-560))))) ((|#2|) . T) (($) -2210 (|has| |#2| (-466)) (|has| |#2| (-571)) (|has| |#2| (-940))) (((-889 |#1|)) . T)) (-2210 (|has| |#1| (-376)) (|has| |#1| (-571))) (-2210 (|has| |#1| (-376)) (|has| |#1| (-571))) -((((-2 (|:| -4021 |#1|) (|:| -2790 |#2|))) . T)) +((((-2 (|:| -4019 |#1|) (|:| -4400 |#2|))) . T)) ((($) . T)) ((((-888)) |has| |#1| (-632 (-888))) ((|#1|) . T)) ((((-560)) . T) (((-421 (-560))) -2210 (|has| |#1| (-38 (-421 (-560)))) (|has| |#1| (-1070 (-421 (-560))))) ((|#1|) . T) (($) -2210 (|has| |#1| (-466)) (|has| |#1| (-571)) (|has| |#1| (-940))) (((-1209)) . T)) @@ -314,11 +314,11 @@ ((((-549)) |has| |#2| (-633 (-549))) (((-916 (-391))) |has| |#2| (-633 (-916 (-391)))) (((-916 (-560))) |has| |#2| (-633 (-916 (-560))))) ((((-888)) . T)) (((|#1| |#2| |#3| |#4|) . T)) -((((-2 (|:| -4021 |#1|) (|:| -2790 |#2|))) . T) (((-888)) . T)) +((((-2 (|:| -4019 |#1|) (|:| -4400 |#2|))) . T) (((-888)) . T)) ((((-549)) |has| |#1| (-633 (-549))) (((-916 (-391))) |has| |#1| (-633 (-916 (-391)))) (((-916 (-560))) |has| |#1| (-633 (-916 (-560))))) (((|#4|) -2210 (|has| |#4| (-175)) (|has| |#4| (-376)) (|has| |#4| (-1081)))) (((|#3|) -2210 (|has| |#3| (-175)) (|has| |#3| (-376)) (|has| |#3| (-1081)))) -((((-2 (|:| -4021 |#1|) (|:| -2790 |#2|))) . T)) +((((-2 (|:| -4019 |#1|) (|:| -4400 |#2|))) . T)) ((((-888)) . T)) ((((-888)) . T)) ((((-549)) . T) (((-560)) . T) (((-916 (-560))) . T) (((-391)) . T) (((-229)) . T)) |