algebraic-solving / msolve

Library for Polynomial System Solving through Algebraic Methods
https://msolve.lip6.fr
GNU General Public License v2.0
90 stars 22 forks source link

Fixes parser #80

Closed ederc closed 11 months ago

ederc commented 11 months ago

This fixes the parser: The main problem was if one variable name is a substring of another one, like x1 is a substring of x12. Then the old parser for the terms missed some variables if input file states, in one term, x12 before x1.