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.
