diff options
author | dos-reis <gdr@axiomatics.org> | 2010-02-17 10:22:47 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-02-17 10:22:47 +0000 |
commit | 6506b2a44b3a06a1885ae394215c512898ffeef4 (patch) | |
tree | f9b91d2beba118efe322de956ecd3b871e922f91 /src/algebra/sregset.spad.pamphlet | |
parent | e5fb9d979a16047d62bbe954ee08577088cdb497 (diff) | |
download | open-axiom-6506b2a44b3a06a1885ae394215c512898ffeef4.tar.gz |
* algebra/aggcat.spad.pamphlet: Remove unnecessary call to void.
* algebra/algext.spad.pamphlet: Likewise.
* algebra/catdef.spad.pamphlet: Likewise.
* algebra/curve.spad.pamphlet: Likewise.
* algebra/d01agents.spad.pamphlet: Likewise.
* algebra/d02agents.spad.pamphlet: Likewise.
* algebra/ffcg.spad.pamphlet: Likewise.
* algebra/ffhom.spad.pamphlet: Likewise.
* algebra/ffnb.spad.pamphlet: Likewise.
* algebra/ffp.spad.pamphlet: Likewise.
* algebra/formula.spad.pamphlet: Likewise.
* algebra/fortmac.spad.pamphlet: Likewise.
* algebra/fortpak.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/forttyp.spad.pamphlet: Likewise.
* algebra/generic.spad.pamphlet: Likewise.
* algebra/kl.spad.pamphlet: Likewise.
* algebra/mathml.spad.pamphlet: Likewise.
* algebra/newdata.spad.pamphlet: Likewise.
* algebra/out.spad.pamphlet: Likewise.
* algebra/permgrps.spad.pamphlet: Likewise.
* algebra/pfo.spad.pamphlet: Likewise.
* algebra/regset.spad.pamphlet: Likewise.
* algebra/routines.spad.pamphlet: Likewise.
* algebra/setorder.spad.pamphlet: Likewise.
* algebra/sups.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/tex.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/sregset.spad.pamphlet')
-rw-r--r-- | src/algebra/sregset.spad.pamphlet | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/algebra/sregset.spad.pamphlet b/src/algebra/sregset.spad.pamphlet index 0fa7bee2..b46fa886 100644 --- a/src/algebra/sregset.spad.pamphlet +++ b/src/algebra/sregset.spad.pamphlet @@ -173,7 +173,6 @@ SquareFreeQuasiComponentPackage(R,E,V,P,TS): Exports == Implementation where initTable!()$H if (not empty? ok) and (not empty? ko) then printInfo!(ok,ko)$H if (not empty? domainName) then startStats!(domainName)$H - void() stopTable!(): Void == if makingStats?()$H then printStats!()$H @@ -521,7 +520,6 @@ SquareFreeRegularTriangularSetGcdPackage(R,E,V,P,TS): Exports == Implementation initTable!()$HGcd printInfo!(ok,ko)$HGcd startStats!(domainName)$HGcd - void() stopTableGcd!(): Void == if makingStats?()$HGcd then printStats!()$HGcd @@ -531,7 +529,6 @@ SquareFreeRegularTriangularSetGcdPackage(R,E,V,P,TS): Exports == Implementation initTable!()$HInvSet printInfo!(ok,ko)$HInvSet startStats!(domainName)$HInvSet - void() stopTableInvSet!(): Void == if makingStats?()$HInvSet then printStats!()$HInvSet @@ -1100,7 +1097,6 @@ SquareFreeRegularSetDecompositionPackage(R,E,V,P,TS): Exports == Implementation s := concat [s, ",", convert(lpwt)@String] s := concat [s, " -> |", string(m::Z), "|; {", string(n::Z),"}]"] iprint(s)$iprintpack - void() decompose(lp: LP, lts: Split, cleanW?: B, sqfr?: B, clos?: B, rem?: B, info?: B): Split == -- if cleanW? then REMOVE REDUNDANT COMPONENTS in lts |