abele at kingmemo.de
Tue Jul 10 20:27:59 CEST 2001
Can anybody tell me how to include Stefan's conversion routines from gtybalt
in GiNaC? Should I write a symbolic function or add a class or copy the
routines in normal.cpp and normal.h and 'make' GiNaC again? (The latter won't
work with me, though, because I get those ginsh error messages no matter if I
use readline 4.1 or 4.2 (the bug is supposedly fixed in 4.2))
>>Hence, the general mutivariate stuff would be what is really suited for
>>GiNaC. But if you think that doing univariate first is the right thing to
>>do in order to get started with factorization
Multivariate factorization is always reduced to univariate factorization. So
you've got to have it in GiNaC, even if it's just a subroutine.
>>there is currently no class that represents algebraic
>>extensions. Representation is another no-brainer, as far as I can see,
>>since it should just hold one expression which represents the zero.
Yes, that's right. Computing the polynomial remainder of a division is
already implemented, isn't it? Later we also may need a routine to compute
the primitive element for a tower of extensions.
>>our GCD routines are not prepared for extensions. Is that needed?
We would need one as a subroutine for Trager. Trager, by the way, can handle
multivariate polynomials as well.
>> Is it difficult???applies to
The algorithm isn't, which doesn't imply that's it's also easy to implement,
at least not as far as I'm concerned.
More information about the GiNaC-devel