diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-17 14:27:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-17 14:27:29 +0000 |
| commit | 15dcc4936996a27019112ff58e9202a81d792047 (patch) | |
| tree | 1e49da404b12b46c30989feac07e26f87f4810ba /src/algebra/exposed.lsp.pamphlet | |
| parent | f5ba07e55ec584939b62a3887c2ff7ebf8083759 (diff) | |
| download | open-axiom-15dcc4936996a27019112ff58e9202a81d792047.tar.gz | |
Fix SF/1849734
* interp/i-spec1.boot (upand): Don't insist on having operands of
type Boolean.
(upor): Likewise.
* algebra/mkrecord.spad.pamphlet (Pair): New domain constructor.
* algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic,
PropositionalFormula.
* algebra/boolean.spad.pamphlet (PropositionalFormula): New domain
constructor.
* algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include
PAIR.o.
(axiom_algebra_layer_19): Include PROPFRML.o
* share/algebra: Update databases.
* testsuite/interpreter/1849734.input: New.
Diffstat (limited to 'src/algebra/exposed.lsp.pamphlet')
| -rw-r--r-- | src/algebra/exposed.lsp.pamphlet | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet index 94b05ddb..be4f8464 100644 --- a/src/algebra/exposed.lsp.pamphlet +++ b/src/algebra/exposed.lsp.pamphlet @@ -254,6 +254,7 @@ (|OrthogonalPolynomialFunctions| . ORTHPOL) (|OutputPackage| . OUT) (|PadeApproximantPackage| . PADEPAC) + (|Pair| . PAIR) (|Palette| . PALETTE) (|PartialFraction| . PFR) (|PatternFunctions2| . PATTERN2) @@ -289,6 +290,7 @@ (|PrimeField| . PF) (|PrimitiveArrayFunctions2| . PRIMARR2) (|PrintPackage| . PRINT) + (|PropositionalFormula| . PROPFRML) (|QuadraticForm| . QFORM) (|QuasiComponentPackage| . QCMPACK) (|Quaternion| . QUAT) @@ -663,6 +665,7 @@ (|PrimitiveFunctionCategory| . PRIMCAT) (|PrincipalIdealDomain| . PID) (|PriorityQueueAggregate| . PRQAGG) + (|PropositionalLogic| . PROPLOG) (|QuaternionCategory| . QUATCAT) (|QueueAggregate| . QUAGG) (|QuotientFieldCategory| . QFCAT) |