CoPaR issueshttps://git8.cs.fau.de/software/copar/issues2019-09-26T15:39:05Zhttps://git8.cs.fau.de/software/copar/issues/4Fails to parse Z^X2019-09-26T15:39:05ZHans-Peter DeifelFails to parse Z^XThe functor expression `Z^X` throws an error, as exemplified by:
copar debug print-functor "Z^X"
The reason is that Z parses as polynomial functor with a single constant set (the integers) and the parser doesn't backtrack at this point.The functor expression `Z^X` throws an error, as exemplified by:
copar debug print-functor "Z^X"
The reason is that Z parses as polynomial functor with a single constant set (the integers) and the parser doesn't backtrack at this point.