TypeOfSubspace for Points

Issue #12 new
Ferdinand Ihringer created an issue

Might it be an option to give some output to TypeOfSubspace when you use it for a point? For convenience? Sometimes I write stuff such as

ps := EllipticQuadric(5, 5);
pt1 := Random(Points(ps));
pts := AsSet(Points(ps));;
good_pts := Filtered(pts, x -> TypeOfSubspace(ps, Span(pt1, x)) = "hyperbolic");;

Of course this fails because it evaluates TypeOfSubspace(ps, Span(pt1, pt1)).

Having some output for points would be convenient here. Of course the problem is easy to avoid.

Comments (2)

  1. Log in to comment