diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-02 01:02:57 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 01:02:57 +0000 |
commit | 1906e73ab030ad23f1f6269acfed69703c8c40d6 (patch) | |
tree | b00af81c96b09e67a5634aa0e21d3b9a9ea6419d /src/interp/clammed.boot | |
parent | 786cd98c9ab4543bb9d4a901a3d71497dd858aa5 (diff) | |
download | open-axiom-1906e73ab030ad23f1f6269acfed69703c8c40d6.tar.gz |
more cleanup
Diffstat (limited to 'src/interp/clammed.boot')
-rw-r--r-- | src/interp/clammed.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/clammed.boot b/src/interp/clammed.boot index a44bd8de..58a43906 100644 --- a/src/interp/clammed.boot +++ b/src/interp/clammed.boot @@ -176,12 +176,12 @@ isLegitimateMode(t,hasPolyMode,polyVarList) == t := equiType t vl := isPolynomialMode t => if vl~='all then - var:= or/[(x in polyVarList => x;nil) for x in vl] => return false + var:= or/[(member(x,polyVarList) => x;nil) for x in vl] => return false listOfDuplicates vl => return false polyVarList:= union(vl,polyVarList) hasPolyMode => false con := first t - poly? := (con = 'Polynomial or con = 'Expression) + poly? := (con is 'Polynomial or con is 'Expression) isLegitimateMode(underDomainOf t,poly?,polyVarList) IDENTP(op := first t) and constructor? op => |