Ralf Hemmecke wrote:
>
> 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.
Agreed. I think that in Spad calling T works OK.
--
Waldek Hebisch
--
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.
