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)
------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure contains a
definitive record of customers, application performance, security
threats, fraudulent activity and more. Splunk takes this data and makes
sense of it. Business sense. IT sense. Common sense.
http://p.sf.net/sfu/splunk-d2d-oct
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
