On Tue, Mar 10, 2015 at 10:47:25PM +0100, Ralf Hemmecke wrote:
> > How does one figure it out in code, without looking at the expression?
> > (I guess there could be more than one field extension involved)
> 
> Maybe like this...
> 
> http://axiom-wiki.newsynthesis.org/ExampleIntegration
> 
> (26) -> ks := kernels i;
> 
>                                       Type:
> List(Kernel(Expression(Integer)))
> (27) -> [definingPolynomial(k::Expression(Integer)) for k in ks | name
> operator k = 'rootOf]
> 
> 
>                 3
>           23%%F0  + %%F0 + 1
>    (27)  [------------------]
>                   23
>                                               Type:
> List(Expression(Integer))

OK, thanks. In fact this looks like a deficiency in the implementation: indeed, 
along the way a field extension is constructed. It ought to be available in a
better way than by parsing the result...

Dima

-- 
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.

Reply via email to