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 ------------------------------------------------------------------------------ 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
