aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/boolean.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2008-09-21 * algebra/syntax.spad.pamphlet (SpadAst): New.dos-reis1-0/+2
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADAST. * share/algebra: Update algebra databases.
2008-09-21Misc cleanup.dos-reis1-3/+6
2008-09-21 * algebra/boolean.spad.pamphlet (Boolean): Now belong todos-reis1-2/+2
OrderedFinite.
2008-09-21 * interp/sys-macros.lisp (|byteEqual|): New.dos-reis1-46/+107
* algebra/boolean.spad.pamphlet (PropositionalLogic): Extend SetCategory. (PropositionalFormula): Now unconditional exports coercion to OutputForm. Adjust implementation. (KleeneTrivalentLogic): New. * algebra/data.spad.pamphlet (Byte): Tidy. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move PROPLOG to layer 1.
2008-08-31 * algebra/boolean.spad.pamphlet (Boolean): Remove definition ofdos-reis1-4/+1
operator ^. * algebra/aggcat.spad.pamphlet (BitAggregate): Likewise. * algebra/color.spad.pamphlet: Replace use of '^' as logical negation by 'not'. * algebra/ddfact.spad.pamphlet: Likewise. * algebra/fortran.spad.pamphlet: Likewise. * algebra/gaussfac.spad.pamphlet: Likewise. * algebra/gbeuclid.spad.pamphlet: Likewise. * algebra/gbintern.spad.pamphlet: Likewise. * algebra/ghensel.spad.pamphlet: Likewise. * algebra/groebsol.spad.pamphlet: Likewise. * algebra/ideal.spad.pamphlet: Likewise. * algebra/idecomp.spad.pamphlet: Likewise. * algebra/indexedp.spad.pamphlet: Likewise. * algebra/listgcd.spad.pamphlet: Likewise. * algebra/mfinfact.spad.pamphlet: Likewise. * algebra/modgcd.spad.pamphlet: Likewise. * algebra/multfact.spad.pamphlet: Likewise. * algebra/multsqfr.spad.pamphlet: Likewise. * algebra/newpoint.spad.pamphlet: Likewise. * algebra/npcoef.spad.pamphlet: Likewise. * algebra/permgrps.spad.pamphlet: Likewise. * algebra/pgcd.spad.pamphlet: Likewise. * algebra/pleqn.spad.pamphlet: Likewise. * algebra/qalgset.spad.pamphlet: Likewise. * algebra/radeigen.spad.pamphlet: Likewise. * algebra/rep2.spad.pamphlet: Likewise. * algebra/solverad.spad.pamphlet: Likewise. * algebra/space.spad.pamphlet: Likewise. * algebra/view2D.spad.pamphlet: Likewise. * algebra/strap/: Update cached Lisp translateion * share/algebra/: Update databases.
2008-08-16 * algebra/strap: New. Sequester cached Lisp translation ofdos-reis1-271/+0
algebra bootstrap domains here.
2008-07-11 * interp/compiler.boot (compQuote): Restrict quoting to literaldos-reis1-2/+2
symbols. * algebra/any.spad.pamphlet: Use nil for empty list. * algebra/boolean.spad.pamphlet: Fix quoting.
2008-06-14 * algebra/variable.spad.pamphlet (ModePatternVariable): New.dos-reis1-1/+1
2008-05-07 * algebra/boolean.spad.pamphlet (true$Boolean): Simplify.dos-reis1-9/+9
(=$Boolean): Likewise. (equiv$Boolean): Likewise. * interp/spad.lisp (|BooleanEquality|): Remove.
2008-05-07 * algebra/boolean.spad.pamphlet (Boolean): Don't pretend todos-reis1-60/+64
Boolean. Updated cached Lisp translation.
2008-04-14Update cached Lisp translation.dos-reis1-15/+79
2008-01-18Fix typo.dos-reis1-1/+1
2008-01-17add missing part of last commitdos-reis1-8/+27
2008-01-17 Fix SF/1849734dos-reis1-1/+229
* 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.
2008-01-16 * algebra/boolean.spad.pamphlet (PropositionalLogic): New category.dos-reis1-256/+180
(Boolean): Assert as belonging to PropositionalLogic. Update cached Lisp translation. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Add PROPLOG.o * src/algebra: Update databases.
2007-08-14Initial population.dos-reis1-0/+587
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 20:43:58 +0000