diff options
Diffstat (limited to 'src/algebra/si.spad.pamphlet')
| -rw-r--r-- | src/algebra/si.spad.pamphlet | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet index 1d18f7cd..e0cd68b1 100644 --- a/src/algebra/si.spad.pamphlet +++ b/src/algebra/si.spad.pamphlet @@ -165,11 +165,6 @@ IntegerNumberSystem(): Category == <<domain SINT SingleInteger>>= )abbrev domain SINT SingleInteger --- following patch needed to deal with *:(I,%) -> % --- affects behavior of SourceLevelSubset ---)bo $noSubsets := true --- No longer - JHD !! still needed 5/3/91 BMT - ++ Author: Michael Monagan ++ Date Created: ++ January 1988 @@ -344,8 +339,6 @@ SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,Logic,OpenMath) with x < 0 => [-1,-x,-1]$UCA [1,x,1]$UCA -)bo $noSubsets := false - @ |