Changeset d0340f in git

Timestamp:

Sep 28, 2011, 6:42:51 PM (12 years ago)

Author:

Burcin Erocal <burcin@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

046a941e1caf6571a05abbcd7e9dc58a903aa4eb

Parents:

d56ad872d739d42e59b1beb8ccc89be2a204530d

git-author:

Burcin Erocal <burcin@erocal.org>2011-09-28 18:42:51+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:13:42+01:00

Message:

Attempt to fix parsing of polynomials with constant coefficients where the coeffs is a rational function field.

The function used for parsing polynomials (p_Read) stopped if the first
variable encountered was not in the ring. This doesn't work when the
coefficient ring is a transcendental extension field, since p_Read is
called recursively but the ring it receives as an argument doesn't know
about the variable names of outer rings.

We return the value parsed so far instead of cancelling the operation.
This seems to fix the problem, hopefully without breaking much else. :)

File:

• libpolys/polys/monomials/p_polys.cc (modified) (1 diff)

libpolys/polys/monomials/p_polys.cc

@@ -1239 +1239 @@
     {
       // 1st char of is not a varname
-      p_LmDelete(&rc,r);
+      // We return the parsed polynomial nevertheless. This is needed when
+      // we are parsing coefficients in a rational function field.
       s--;
       return s;