Gabriel Dos Reis wrote:
>
> Waldek Hebisch <hebi...@math.uni.wroc.pl> writes:
>
> | Note2: I have no idea if/how the construct:
> |
> | false == per constantKernel FALSE
> | true == per constantKernel TRUE
> |
> | works in OpenAxiom.
>
> Yes, it does.
In FriCAS it would not typecheck. constantKernel is of type %,
while '%false is of type Symbol. Even if OpenAxiom compiler
performs some magic coercions I wonder if result really
has correct representation.
--
Waldek Hebisch
hebi...@math.uni.wroc.pl
------------------------------------------------------------------------------
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
