Hi all, I started a revision of the field stuff. E.g. Simple algebraic extensions are MonogenicAlgebra 's, so I included this and learnt, that in this case one inherits DifferentialExtension with more differential operators. I think noone needs them (please indicate, if there are other opionons). Actuallly, I also do not know, why we have a trivial differential operator ( 0) in FiniteFieldCategory, because this category claims to inherit vom DifferentialRing. Can anyone tell me, who needs this, otherwise I would like to drop it. In any case, some domains have functions inherited, which are no longer needed. E.g. We have a degree function with values in OnePointCompletion PositiveInteger to allow the degree of a transcendent element to be infinite. However, in an algebraic extension of a finite field we never have a transcendent element, hence degree should map to PositiveInteger. So I want to drop the inherited degree function, because it is superfluous. .
A suggestion an question to the compiler specialists: Similar to "with" can't we have a "without" to drop Categories or single 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/343585a5-342a-536d-cac6-6c3f3de51acf%40grabmeier.net.
