Hi,
> Just some small example... > > http://axiom-wiki.newsynthesis.org/TypedGcd > > Maybe not convincing, but for me it shows that FriCAS makes it quite > easy to express, what one wants. A simple but never the less very nice example showing an important aspect of the Type system. I tend to think more and more that strong types are very important as soon as you want to write larger things or even libraries. Your example shows that even in interactive computing Sessions types can be very helpful. I usually make a simple demonstration like this: (2) -> p := (2*x^2 + 3*x + 5) / 7 2 2 3 5 (2) - x + - x + - 7 7 7 Type: Polynomial(Fraction(Integer)) (3) -> p :: FRAC(POLY(INT)) 2 2x + 3x + 5 (3) ------------ 7 Type: Fraction(Polynomial(Integer)) In other CAS Systems one usually needs to call a Function like "together(...)" on the polynomial. This case is so simple that one could argue which version is easier or more user friendly. -- 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 http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
