You can see what is happening by
")set message bottom on".
It seems to try various type conversions (involving polynomial types)
and fail eventually.
There are other places where a correct program needs long time to type
check.
In that case, adding additional explicit type hints/conversion helps.
ubuntu is the most used Linux distro. But I am not able to find Fricas
ubuntu package.
I could find sagemath and also xcas.
>apt-cache search giac
xcas - Computer Algebra System - console and graphical calculator
>apt-cache search sagemath
sagemath - Open Source Mathematical Software
>apt-c
Any reasons that FiniteFieldCategory requires all finite fields to be a
DifferentialRing with trivial implementation pf differentiate(x) = 0? I
woud like to eliminate this.
--
Mit freundlichen Grüßen
Johannes Grabmeier
Prof. Dr. Johannes Grabmeier
Köckstraße 1, D-94469 Deggendorf
Tel. +49-(0)-
Hi all,
Finite is Missing StepThrough! Any objection against adding a default
step through:
)abbrev category FINITE Finite
++ Author:
++ Basic Functions:
++ Related Constructors:
++ Also See:
++ AMS Classifications:
++ Keywords:
++ References:
++ Description:
++ The category of domains composed o