aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/formula.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/formula.spad.pamphlet')
-rw-r--r--src/algebra/formula.spad.pamphlet16
1 files changed, 8 insertions, 8 deletions
diff --git a/src/algebra/formula.spad.pamphlet b/src/algebra/formula.spad.pamphlet
index b5668638..51506fc6 100644
--- a/src/algebra/formula.spad.pamphlet
+++ b/src/algebra/formula.spad.pamphlet
@@ -289,22 +289,22 @@ ScriptFormulaFormat(): public == private where
args := rest args
null args => concat form
tmp : S := formatFormula(first args, minPrec)
- if tmp ^= "" then form := append(form,[" sub ",tmp])$(List S)
+ if tmp ~= "" then form := append(form,[" sub ",tmp])$(List S)
-- superscripts
args := rest args
null args => group concat form
tmp : S := formatFormula(first args, minPrec)
- if tmp ^= "" then form := append(form,[" sup ",tmp])$(List S)
+ if tmp ~= "" then form := append(form,[" sup ",tmp])$(List S)
-- presuperscripts
args := rest args
null args => group concat form
tmp : S := formatFormula(first args, minPrec)
- if tmp ^= "" then form := append(form,[" presup ",tmp])$(List S)
+ if tmp ~= "" then form := append(form,[" presup ",tmp])$(List S)
-- presubscripts
args := rest args
null args => group concat form
tmp : S := formatFormula(first args, minPrec)
- if tmp ^= "" then form := append(form,[" presub ",tmp])$(List S)
+ if tmp ~= "" then form := append(form,[" presub ",tmp])$(List S)
group concat form
op = "MATRIX" => formatMatrix rest args
-- op = "ZAG" =>
@@ -318,7 +318,7 @@ ScriptFormulaFormat(): public == private where
p < 1 => error "unknown Script Formula Formatter unary op"
opPrec := plexPrecs.p
n : I := #args
- (n ^= 2) and (n ^= 3) => error "wrong number of arguments for plex"
+ (n ~= 2) and (n ~= 3) => error "wrong number of arguments for plex"
s : S :=
op = "SIGMA" => "sum"
op = "PI" => "product"
@@ -327,12 +327,12 @@ ScriptFormulaFormat(): public == private where
"????"
hold := formatFormula(first args,minPrec)
args := rest args
- if op ^= "INDEFINTEGRAL" then
- if hold ^= "" then
+ if op ~= "INDEFINTEGRAL" then
+ if hold ~= "" then
s := concat [s," from",group concat ["\displaystyle ",hold]]
if not null rest args then
hold := formatFormula(first args,minPrec)
- if hold ^= "" then
+ if hold ~= "" then
s := concat [s," to",group concat ["\displaystyle ",hold]]
args := rest args
s := concat [s," ",formatFormula(first args,minPrec)]