On Monday 10 Oct 2011 20:32:32 Waldek Hebisch wrote: > Martin Baker wrote: > > On Monday 10 Oct 2011 17:54:47 Bill Page wrote: > > > What is unclear about macro? This is simple substitution. Or do you > > > mean the use of %false? > > > > Yes, I'm guessing from the context that %, when used as a prefix, is > > some sort of built-in function? but I don't know. > > % is just part of name, like letters. '%false (note the apostrophe) > is just a symbol with funny name.
I still don't think I have all the information I need? In PropositionalFormula (in OpenAxiom - boolean.spad.pamphlet) the following macros are defined: macro FALSE == '%false macro TRUE == '%true macro NOT == '%not macro AND == '%and macro OR == '%or macro IMP == '%implies macro EQV == '%equiv These are used where SetCategory is expected but I can't find anywhere where '%not is defined as a SetCategory. So I'm guessing that, although '%not is theoretically no differerent from any other name, that '% may be some sort of escape code to indicate that its definition is built in? If so, is there a definition of these that would give a clue about how they could be implemented in FriCAS? Thanks, Martin -- 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.
