You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now vars and total_degree are extended from Nemo for rational functions yielding type piracy. It seems reasonable to upstream vars, not to sure about total_degree (there could be different ways of defining this), I think it should be just renamed.
The text was updated successfully, but these errors were encountered:
Right now
vars
andtotal_degree
are extended fromNemo
for rational functions yielding type piracy. It seems reasonable to upstreamvars
, not to sure abouttotal_degree
(there could be different ways of defining this), I think it should be just renamed.The text was updated successfully, but these errors were encountered: