On 04/19/2017 11:28 AM, oldk1331 wrote: > Now T and _|_ are implemented in Boolean, but it's > tricky to call them: > > (8) -> ___|__()$Boolean > > (8) false > Type: Boolean > > That's a lot of escape char
I'm pretty sure that nobody will ever be using that instead of false$Boolean. > , but to call 'T()$Boolean' > is trickier: > > (10) -> T_$()$Boolean > > (10) true > Type: Boolean > > Since we automatically renames 'T' to 'T$' internally. > > I wonder if there are better solutions. Ufff.... (3) -> )sh Boolean Boolean is a domain constructor. Abbreviation for Boolean is BOOLEAN This constructor is exposed in this frame. 34 Names for 34 Operations in this Domain. ------------------------------- Operations -------------------------------- ?/\? : (%, %) -> % ?<? : (%, %) -> Boolean ?<=? : (%, %) -> Boolean ?=? : (%, %) -> Boolean ?>? : (%, %) -> Boolean ?>=? : (%, %) -> Boolean T$ : () -> % ?\/? : (%, %) -> % _|_ : () -> % ?and? : (%, %) -> % coerce : % -> OutputForm convert : % -> InputForm enumerate : () -> List(%) false : () -> % hash : % -> SingleInteger implies : (%, %) -> % index : PositiveInteger -> % latex : % -> String lookup : % -> PositiveInteger max : (%, %) -> % min : (%, %) -> % nand : (%, %) -> % nor : (%, %) -> % not? : % -> % ?or? : (%, %) -> % random : () -> % size : () -> NonNegativeInteger smaller? : (%, %) -> Boolean test : % -> Boolean true : () -> % xor : (%, %) -> % ~? : % -> % ?~=? : (%, %) -> Boolean hashUpdate! : (HashState, %) -> HashState Sorry, but I would call "T$" a bug. I understand that FriCAS has to do something with the identifier T in order not to confuse it with the underlying LISP symbol T, but that should be an implementation detail and never be shown to the user. 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.
