Maybe like this:
(1) -> Integer has Zero:()->Integer
(1) true
Type: Boolean
(2) -> Integer has One:()->Integer
(2) true
Type: Boolean
As I recall 0 is just a pretty way to write Zero and 1 is just a
pretty way to write One.
On Thu, Jul 5, 2018 at 11:07 AM, Prof. Dr. Johannes Grabmeier privat
<[email protected]> wrote:
> What is the proper way to qualify a type E to have a constant or a
> function with no variables?
> Other functions work well, here are examples from the algebra code.
>
>
> if R has imaginary : () -> R then
>
> if SMPF has _*: (NonNegativeInteger, SMPF) -> SMPF
>
> if Coef has "*": (Expon,Coef) -> Coef then
>
> Was not aware that both "*" and _* are allowed for infix functions.
>
>
>
> Mit freundlichen Grüßen
>
> Johannes Grabmeier
>
> Prof. Dr. Johannes Grabmeier
> Köckstraße 1, D-94469 Deggendorf
> Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756
> Tel. +49-(0)-991-3615-141 (d), Fax: +49-(0)-32224-192688
>
> --
> 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.
--
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.
