Martin Baker <[email protected]> writes:
| Gaby,
|
| Its not clear to me how best to use your (undocumented) PropositionalFormula
| domain. Should I use it over Symbol so that the propositions are represented
| by symbols as below?
|
| Also its written using Kernel, what is the advantage of this?
Kernel is the canonical datastructure for symbolic expressions in AXIOM.
The Logic (or lattice) operators ~.\/, and /\ were indeed missing
implementations. They are morally not, or, and. Fixed. I ran your
tests, and below is the output.
-- Gaby
PROP := PropositionalFormula Symbol
(1) PropositionalFormula Symbol
Type: Domain
p: PROP := 'p
(2) p
Type: PropositionalFormula Symbol
q: PROP := 'q
(3) q
Type: PropositionalFormula Symbol
r: PROP := 'r
(4) r
Type: PropositionalFormula Symbol
pq := p /\ q
(5) p and q
Type: PropositionalFormula Symbol
conjunction(p,q)
(6) p and q
Type: PropositionalFormula Symbol
b := true$PROP
(7) %true
Type: PropositionalFormula Symbol
conjunction(b,p)
(8) %true and p
Type: PropositionalFormula Symbol
atoms pq
(9) {p,q}
Type: Set Symbol
dual pq
(10) p or q
Type: PropositionalFormula Symbol
simplify conjunction(b,pq)
(11) p and q
Type: PropositionalFormula Symbol
(12) -> )quit
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
