diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-10-31 15:46:44 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-10-31 15:46:44 +0000 |
| commit | d09e20ae6c0742e6cafc46385de80b3dbafaf9c5 (patch) | |
| tree | 795a2793dea7688a45507ff1792a0b0baf48ad2d /src/algebra/permgrps.spad.pamphlet | |
| parent | 7989b128162c7b8ff385b9ac65a43df20591e8b9 (diff) | |
| download | open-axiom-d09e20ae6c0742e6cafc46385de80b3dbafaf9c5.tar.gz | |
* interp/i-funsel.boot (evalMmCond0): Tidy. Call evalMmGuard to
validate modemap evaluation.
(evalMmGuard): New.
(evalMmCat): Do not call orderMmCatStack here. The stack is
already ordered by evalMmGuard, sole caller.
(hasCate): Handle domain query variables.
(unifyStruct): Call unifyQueryStruct for query variables.
(unifyQueryStruct): New.
* interp/g-util.boot (postComposeSubst): New.
(queryVar?): Likewise.
Diffstat (limited to 'src/algebra/permgrps.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions