diff options
Diffstat (limited to 'src/algebra/fortran.spad.pamphlet')
| -rw-r--r-- | src/algebra/fortran.spad.pamphlet | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/algebra/fortran.spad.pamphlet b/src/algebra/fortran.spad.pamphlet index 4c6f9cc0..25da16cc 100644 --- a/src/algebra/fortran.spad.pamphlet +++ b/src/algebra/fortran.spad.pamphlet @@ -1592,19 +1592,15 @@ FortranExpression(basicSymbols,subscriptedSymbols,R): fixUpSymbols(u:EXPR R):Union(EXPR R,"failed") == -- If its a univariate expression then just fix it up: syms : L S := variables(u) --- one?(#basicSymbols) and zero?(#subscriptedSymbols) => - (#basicSymbols = 1) and zero?(#subscriptedSymbols) => --- not one?(#syms) => "failed" - not (#syms = 1) => "failed" + one?(#basicSymbols) and zero?(#subscriptedSymbols) => + not one?(#syms) => "failed" subst(u,equation(first(syms)::EXPR(R),first(basicSymbols)::EXPR(R))) -- We have one variable but it is subscripted: --- zero?(#basicSymbols) and one?(#subscriptedSymbols) => - zero?(#basicSymbols) and (#subscriptedSymbols = 1) => + zero?(#basicSymbols) and one?(#subscriptedSymbols) => -- Make sure we don't have both X and X_i for s in syms repeat not scripted?(s) => return "failed" --- not one?(#(syms:=removeDuplicates! [name(s) for s in syms]))=> "failed" - not ((#(syms:=removeDuplicates! [name(s) for s in syms])) = 1)=> "failed" + not one?(#(syms:=removeDuplicates! [name(s) for s in syms]))=> "failed" sym : Symbol := first subscriptedSymbols subst(u,[mkEqn(sym,i) for i in variables(u)]) "failed" |