open-axiom/src/algebra/boolean.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2015-12-31T22:56:12Z
Avoid modulus bias in 'random()' usage.
2015-12-31T22:56:12Z
Gabriel Dos Reis
gdr@axiomatics.org
2015-12-31T22:56:12Z
urn:sha1:f51aee83708673ef9941174951bec9aee80cb03c
Define lexicographical ordering on Bits in Spad
2013-05-26T08:26:06Z
dos-reis
gdr@axiomatics.org
2013-05-26T08:26:06Z
urn:sha1:3d124313d289fd42013e52f600283c99f8d0211a
Revert accidental commit.
2013-05-26T02:57:28Z
dos-reis
gdr@axiomatics.org
2013-05-26T02:57:28Z
urn:sha1:55bb112b197664527f8cdf1c7005b5979911a0c7
* algebra/logic.spad.pamphlet: New file.
2013-05-26T02:31:19Z
dos-reis
gdr@axiomatics.org
2013-05-26T02:31:19Z
urn:sha1:15cd0ab054c2d61565ff4503fb3212e3d356ab11
* algebra/boolean.spad.pamphlet (Logic): Move there.
(BooleanLogic): Likewise.
(PropositionalLogic): Likewise.
(PropositionalFormula): Likewise.
(PropositionalFormulaFunctions1): Likewise.
(PropositionalFormulaFunctions2): Likewise.
(KleeneTrivalentLogic): Likewise.
* algebra/catdef.spad.pamphlet (Finite) [random]: Provide default
2012-01-14T22:35:57Z
dos-reis
gdr@axiomatics.org
2012-01-14T22:35:57Z
urn:sha1:a00d32a888a910fe517afb91cc48a6eb44ed58da
implementation.
* algebra/boolean.spad.pamphlet (KleeneTrivalentLogic): Now
satisfy Finite. Use Maybe Boolean as representation.
* algebra/boolean.spad.pamphlet (IndexedBits) [Not, Or, And]: Remove.
2011-11-10T10:32:38Z
dos-reis
gdr@axiomatics.org
2011-11-10T10:32:38Z
urn:sha1:ecd77af5ce74ac002bd6550bed79eae5a3704c35
Implement ~. \/, and /\ instead.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* algebra/pattern.spad.pamphlet (Pattern): Adjust.
* algebra/string.spad.pamphlet (CharacterClass): Likewise.
minor cleanups
2011-10-26T12:46:05Z
dos-reis
gdr@axiomatics.org
2011-10-26T12:46:05Z
urn:sha1:903486e44d8cb2fd57e2df9515be4c3e0e4f5369
* algebra/boolean.spad.pamphlet (Boolean) [sample]: Remove
2011-10-21T10:53:03Z
dos-reis
gdr@axiomatics.org
2011-10-21T10:53:03Z
urn:sha1:2307cd465b2644ca6e2df89ba3a994228944ee10
definition, as it is not exported.
* algebra/boolean.spad.pamphlet (Boolean): Implement default
2011-10-16T09:43:42Z
dos-reis
gdr@axiomatics.org
2011-10-16T09:43:42Z
urn:sha1:f699415cce3f73d0f2b63ecb3b1fdc7084ba4cea
Boolean operators in terms of Logic operators.
(PropositionalFormula): Implement Logic operators instead of
Boolean operators.
* algebra/exposed.lsp.pamphlet: Expose
PropositionalFormulaFunctions1 and PropositionalFormulaFunctions2.
* algebra/boolean.spad.pamphlet (Reference) [elt]: Remove.
2011-10-12T16:22:50Z
dos-reis
gdr@axiomatics.org
2011-10-12T16:22:50Z
urn:sha1:a5396a491b1b308b622db3e12da734e6fb1fdb53
[setelt]: Likewise.
* algebra/lodof.spad.pamphlet: Adjust use.
* algebra/float.spad.pamphlet: Likewise.
* algebra/divisor.spad.pamphlet: Likewise.
* algebra/curve.spad.pamphlet: Likewise.
* algebra/card.spad.pamphlet: Likewise.
* algebra/algext.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet: Likewise.
* algebra/suls.spad.pamphlet: Likewise.
* algebra/sups.spad.pamphlet: Likewise.
* algebra/supxs.spad.pamphlet: Likewise.
* algebra/suts.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/view3D.spad.pamphlet: Likewise.
* algebra/viewDef.spad.pamphlet: Likewise.