aboutsummaryrefslogtreecommitdiff
path: root/src/interp/i-analy.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-04-19 18:14:50 +0000
committerdos-reis <gdr@axiomatics.org>2011-04-19 18:14:50 +0000
commitfaaf19e1912ba48e9fbd195d2b90c4e205c87538 (patch)
tree18a81dba1f12285383ba73beaeb8febb6606ea37 /src/interp/i-analy.boot
parent9430f000bbcedcd6f0edbe1c4852cb2b51c50ccc (diff)
downloadopen-axiom-faaf19e1912ba48e9fbd195d2b90c4e205c87538.tar.gz
cleanup
Diffstat (limited to 'src/interp/i-analy.boot')
-rw-r--r--src/interp/i-analy.boot8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/i-analy.boot b/src/interp/i-analy.boot
index fb0848b7..f9c9d84c 100644
--- a/src/interp/i-analy.boot
+++ b/src/interp/i-analy.boot
@@ -69,14 +69,14 @@ getMinimalVariableTower(var,t) ==
NIL
t is ['Polynomial,.] => t
t is ['RationalFunction,D] => ['Polynomial,D]
- t is [up,t',u,.] and MEMQ(up,$univariateDomains) =>
+ t is [up,t',u,.] and symbolMember?(up,$univariateDomains) =>
-- power series have one more arg and different ordering
u = var => t
getMinimalVariableTower(var,t')
- t is [up,u,t'] and MEMQ(up,$univariateDomains) =>
+ t is [up,u,t'] and symbolMember?(up,$univariateDomains) =>
u = var => t
getMinimalVariableTower(var,t')
- t is [mp,u,t'] and MEMQ(mp,$multivariateDomains) =>
+ t is [mp,u,t'] and symbolMember?(mp,$multivariateDomains) =>
var in u => t
getMinimalVariableTower(var,t')
null (t' := underDomainOf t) => NIL
@@ -167,7 +167,7 @@ pushDownOnArithmeticVariables(op,target,arglist) ==
-- tries to push appropriate target information onto variable
-- occurring in arithmetic expressions
cons?(target) and first(target) = 'Variable => NIL
- not MEMQ(op,'(_+ _- _* _*_* _/)) => NIL
+ not symbolMember?(op,'(_+ _- _* _*_* _/)) => NIL
not containsPolynomial(target) => NIL
for x in arglist for i in 1.. repeat
vector?(x) => -- leaf