On 06/09/2014 01:39 PM, Waldek Hebisch wrote:
> In 'simpbool.boot' there is Boot code used for simplifying conditions
> by Spad compiler.

Ha, interesting. I should have grepped for dnf myself. Thank you.

Nevertheless, I don't want to build on the lower level functionality. In
fact, I already had a preliminary DNF version before I asked.
I would like to keep the Lisp calls rather exceptional in my code.

BTW, in simpbool.boot there is an abbreviation pf. Any idea what that
stands for. Same for b.

Example: b2dnf, dnf2pf

b is probably boolean, but pf?

Ralf

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to