someone wrote:
>
> > 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.
Well, for univariate polynomials with polynomial coefficients
multivatiate factorizer is probably the simplest way.
>
>
> 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?
AFAICS 'coefficients' is implemented. How exactly do you trigger
this problem? I have seen messages like this during developement
and testing, but they seem to be due to use of stale values.
When I compile/load things in freshly started FriCAS and then test
they normally go away.
--
Waldek Hebisch
[email protected]
--
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.
