diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 02:56:09 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 02:56:09 -0800 |
| commit | 9213251560073e45e73ae94c46bc382a625a57bb (patch) | |
| tree | 97f670bfbfa3f73f1b00912f120c4998a9a04e8d /src/interp/nruncomp.boot | |
| parent | d0740d0ba443f0f24c78d321e15b41bb6c45cecd (diff) | |
| download | open-axiom-9213251560073e45e73ae94c46bc382a625a57bb.tar.gz | |
Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, central, noetherian, NullSquare, JacobiIdentity.
Diffstat (limited to 'src/interp/nruncomp.boot')
| -rw-r--r-- | src/interp/nruncomp.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index 459472d2..2b6c7ad4 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -34,7 +34,7 @@ import simpbool import profile -import functor +import nrunfast namespace BOOT ++ The "add-chain" index for a functor instance. |