Hi,
> > Still difficult to use this domain.
> > I got a small test case working.
> > Not sure it is correct at all.
>
> Looks OK. Just beware that list of R for which it works
> is very short.
Ok, thanks.
> Also, do you want to factor mutivariate polynomials or univariate?
For what I want to do right now, only univariate
polynomials will be necessary. All over Z, Q and
the algebraic numbers A (f.e. coefficients like
sqrt(5) should pose no issues). Rings like Q[a]
where 'a' is a parameter and hence polynomial rings
like Q[a][x] the next further goal.
Why do I want to do this at all? I'll need it
for computing the dispersion of polynomials.
(My code is working so far.) The dispersion will
in turn be used for improving symbolic summation.
As far as I understand the code in Fricas, only summation
of polynomials and some rational functions is implemented.
The latter are done by Gosper and hence only admissible
hypergeometric terms can be summed. I'd like to improve
a small bit on that situation, it will take its time.
> Univariate polynomials with Integer coefficients currently
> are handled in GaloisGroupFactorizer. Dispatcher for univariate
> factorization is in GenUFactorize.
Ok. Thanks for this information.
> UP in MultivariateFactorize is to allow recursively
> building multivatiate factorizer from univariate one.
Aha. So maybe I won't need that at all
if I only consider univariate polynomials.
However, if I change P to UP in MVF:
-------------------------------------------------------------------
S ==> Symbol
P ==> Polynomial(R)
UP ==> SparseUnivariatePolynomial(P)
MVF ==> MultivariateFactorize(S, IndexedExponents S, R, P)
-------------------------------------------------------------------
then the code suddenly fails at an "internal" error:
-------------------------------------------------------------------
p3:P := x + 1
(59) x + 1
Type: Polynomial(Fraction(Integer))
dispersionSet(p3)
Function: coefficients : % -> List(Fraction(Integer)) is missing from domain:
SparseUnivariatePolynomial(Polynomial(Fraction(Integer)))
Internal Error
The function coefficients with signature (List (Fraction (Integer)))$ is
missing from domain SparseUnivariatePolynomial
(Polynomial (Fraction (Integer)))
-------------------------------------------------------------------
I never call 'coefficients' in the code, only 'coefficient'
and 'leadingCoefficient'. An according to the documentation
this method should exists:
-------------------------------------------------------------------
SparseUnivariatePolynomial(Polynomial(Fraction(Integer))) is a domain
constructor.
Abbreviation for SparseUnivariatePolynomial is SUP
This constructor is not exposed in this frame.
------------------------------- Operations --------------------------------
?*? : (Fraction(Integer),%) -> % ?*? : (Integer,%) -> %
...
coefficient : (%,NonNegativeInteger) -> Polynomial(Fraction(Integer))
coefficient : (%,List(SingletonAsOrderedSet),List(NonNegativeInteger)) -> %
coefficient : (%,SingletonAsOrderedSet,NonNegativeInteger) -> %
coefficients : % -> List(Polynomial(Fraction(Integer)))
-------------------------------------------------------------------
Is this indeed a bug with the method actually missing in the
implementation part of the given domain?
--
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.
