CoPaR issueshttps://git8.cs.fau.de/software/copar/-/issues2020-05-13T15:23:24Zhttps://git8.cs.fau.de/software/copar/-/issues/4Fails to parse Z^X2020-05-13T15:23:24ZHans-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.