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?
Martin
------------------------------------------------
(ran in FriCAS using Waldeks translation)
(1) -> PROP := PropositionalFormula Symbol
(1) PropositionalFormula(Symbol)
Type: Type
(2) -> p := "p"::Symbol::PROP
(2) p
Type: PropositionalFormula(Symbol)
(3) -> q := "q"::Symbol::PROP
(3) q
Type: PropositionalFormula(Symbol)
(4) -> r := "r"::Symbol::PROP
(4) r
Type: PropositionalFormula(Symbol)
(5) -> pq := p /\ q
Internal Error
The function /\ with signature hashcode is missing from domain
PropositionalFormula(Symbol)
(5) -> conjunction(p,q)
(5) p and q
Type: PropositionalFormula(Symbol)
(6) -> conjunction(b := true()$PROP,p)
(6) %true and p
Type: PropositionalFormula(Symbol)
(7) -> atoms(pq)
(7) {pq}
Type: Set(Polynomial(Integer))
(8) -> dual(pq)
Function: ?=? : (%,%) -> Boolean is missing from domain:
PropositionalFormula(Polynomial(Integer))
Internal Error
The function = with signature (Boolean)$$ is missing from domain
PropositionalFormula(Polynomial (Integer))
(8) -> simplify(conjunction(b := true()$PROP,pq))
Function: ?=? : (%,%) -> Boolean is missing from domain:
PropositionalFormula(Symbol)
Internal Error
The function = with signature (Boolean)$$ is missing from domain
PropositionalFormula(Symbol)
--
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.
