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
I don't like the points option any more, so I'm going to remove it. It is redundant, and can be replaced by an additional constraint Constraint.MovedPoints or Constraint.LargestMovedPoint (or by simply including an integer k in the list of constraints).
Maintaining multiple ways to do the same thing is annoying.
In addition, the GAP bug described in gap-system/gap#4510 also has the potential to cause really weird behaviour in relation to the points option. This has caught me out before. So that's an added bonus.
The text was updated successfully, but these errors were encountered:
I don't like the points option any more, so I'm going to remove it. It is redundant, and can be replaced by an additional constraint
Constraint.MovedPoints
orConstraint.LargestMovedPoint
(or by simply including an integerk
in the list of constraints).Maintaining multiple ways to do the same thing is annoying.
In addition, the GAP bug described in gap-system/gap#4510 also has the potential to cause really weird behaviour in relation to the
points
option. This has caught me out before. So that's an added bonus.The text was updated successfully, but these errors were encountered: