Hello Johannes, That sounds like great news.
For implementation of an ACF a la Steel, it would be good to also have the algebraic closure of GF(p) implemented. I think that should be doable by reducing by a triangular set of extension polynomials. Will you also look into this or should I implement it myself? Thank you Ralf PS: In Aldor instead of "without", I've seen "Meet" (the dual to Join), but I think that it is also not really implemented in Aldor. https://github.com/pippijn/aldor/blob/master/aldor/lib/aldor/src/lang/sal_lang.as#L93 On 11/22/19 9:45 AM, Prof. Dr. Johannes Grabmeier privat wrote: > 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. > -- 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/af60821b-2b98-74d9-7a86-0e6c589195db%40hemmecke.org.
