On 09/24/2017 08:59 PM, Prof. Dr. Johannes Grabmeier privat wrote:
> )abbrev category BFC BooleanFunctionCategory
> BooleanFunctionCategory(): Category == BasicType with
> "not" : % -> %
> _and : (%, %) -> %
> nand : (%, %) -> %
> _or : (%, %) -> %
> xor : (%, %) -> %
> implies : (%, %) -> %
> equiv : (%, %) -> %
> add
> nand(x: %, y: %): % == _not(_and(x,y))
> xor(x: %, y: %): % == _or( _and(_not(x), y), _and(x, _not(y)) )
> equiv(x: %, y: %): % == _and(implies(x,y), implies(y,x))
> implies(x: %, y: %): % == _or(_not(x),y)
With no surprise, writing double __ instead of a single one leads to new
names and the file compiles.
)abbrev category BFC BooleanFunctionCategory
BooleanFunctionCategory(): Category == BasicType with
__not : % -> %
__and : (%, %) -> %
nand : (%, %) -> %
__or : (%, %) -> %
xor : (%, %) -> %
implies : (%, %) -> %
equiv : (%, %) -> %
add
nand(x: %, y: %): % == __not(__and(x,y))
xor(x: %, y: %): % == __or( __and(__not(x), y), __and(x, __not(y)) )
equiv(x: %, y: %): % == __and(implies(x,y), implies(y,x))
implies(x: %, y: %): % == __or(__not(x),y)
I wonder whether the problem comes from the fact that _ is a rather
special escape character.
See
https://groups.google.com/forum/#!searchin/fricas-devel/underscore%7Csort:relevance/fricas-devel/TkDjBhFyEFA/8N9ez-os09cJ
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 https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
