diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-08-20 07:17:59 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-08-20 07:17:59 +0000 |
| commit | 4fc6c2ba4569effe346fd6f498b6ab55afe446cf (patch) | |
| tree | 56e01a3490abd8f2f007e4be147cdb317ec46377 /src | |
| parent | 1c6564be2725c2e68180cdd4c9899765c8452c7a (diff) | |
| download | open-axiom-4fc6c2ba4569effe346fd6f498b6ab55afe446cf.tar.gz | |
* input/sint.input.pamphlet: Use /\$SingleInteger, not defunct
And$SingleInteger.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/input/sint.input.pamphlet | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index e4f5760b..ebdb60e4 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2012-08-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * input/sint.input.pamphlet: Use /\$SingleInteger, not defunct + And$SingleInteger. + +2012-08-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/i-coerfn.boot: Do not import i-coerce. Import i-analy and i-resolv intead. ($CoerceTable): Fix embarrassing thinko. diff --git a/src/input/sint.input.pamphlet b/src/input/sint.input.pamphlet index 927a4dca..271e9a54 100644 --- a/src/input/sint.input.pamphlet +++ b/src/input/sint.input.pamphlet @@ -22,7 +22,7 @@ gcd(a,b) lcm(a,b) mulmod(5,6,13)$SingleInteger positiveRemainder(37,13)$SingleInteger -And(3,4)$SingleInteger +(3 /\ 4)$SingleInteger shift(1,4)$SingleInteger shift(31,-1)$SingleInteger @ |