diff options
author | dos-reis <gdr@axiomatics.org> | 2011-09-07 09:26:27 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-09-07 09:26:27 +0000 |
commit | 69f3bfa6c96a350b086ca9f21a7f55dabb7cf30f (patch) | |
tree | c6e392cebad5a0ecc6b12f6bf5ff698fbfd3ac0b /src/share/algebra/operation.daase | |
parent | 309c119295f7ff76dd6cd0026aa33daf5baddd84 (diff) | |
download | open-axiom-69f3bfa6c96a350b086ca9f21a7f55dabb7cf30f.tar.gz |
* interp/compiler.boot (compImport): Don't do anything if
bootstrapping: there is no much to import for now.
* interp/define.boot (getOperationAlist): Get the isFunctor
property directly.
(addDomain): Call isDomainForm.
Diffstat (limited to 'src/share/algebra/operation.daase')
-rw-r--r-- | src/share/algebra/operation.daase | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase index ca72f4e6..6be70b4a 100644 --- a/src/share/algebra/operation.daase +++ b/src/share/algebra/operation.daase @@ -1,5 +1,5 @@ -(719417 . 3524261742) +(719417 . 3524374396) (((*1 *2 *3 *4) (|partial| -12 (-5 *3 (-1288 *4)) (-4 *4 (-13 (-1070) (-658 (-558)))) (-5 *2 (-1288 (-419 (-558)))) (-5 *1 (-1317 *4))))) |