diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-09 00:02:01 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-09 00:02:01 -0800 |
| commit | b433b8c3a0b2a3089269be8c3149ac7cdcf449cc (patch) | |
| tree | b152b14cf621155a8528cd118d0c2cf56719e1d3 /src/algebra/intpm.spad.pamphlet | |
| parent | f49b0656655f43f8aab325f8b24537edacb9f382 (diff) | |
| download | open-axiom-b433b8c3a0b2a3089269be8c3149ac7cdcf449cc.tar.gz | |
Various cleanups
Rename getFunctionTemplate to matchSignatureInTemplate.
Rename lookupInheritedDefiningFunction to lookupRemoteDefiningFunction
as the function wasn't really about inherited operators. Have it
avoid returning functions that might need their domain domain to
operate correctly.
Simplify getOpCode: it only needs two arguments since the third was
the length of the second argument.
dbDefaultPackage? is no longer a macro.
Diffstat (limited to 'src/algebra/intpm.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions