#14789: Implement hyperplane arrangements
-------------------------------------+-------------------------------------
Reporter: kcrisman | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.1
Component: combinatorics | Resolution:
Keywords: days54 | Merged in:
Authors: David Perkinson, | Reviewers: Travis Scrimshaw
Volker Braun | Work issues:
Report Upstream: N/A | Commit:
Branch: | e8c36efd11f20785f7cee696d890f9b79da15126
public/geometry/14789-hyperplane_arrangements| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by tscrim):
Replying to [comment:56 vbraun]:
> Ok since `H()` is equivalent to `H(0)` we'll have to go with it...
This is #8648.
Currently this works
{{{
sage: H.<x,y,z> = HyperplaneArrangements(QQ)
sage: 0*x
Hyperplane 0*x + 0*y + 0*z + 0
sage: H(0*x)
Empty hyperplane arrangement of dimension 3
}}}
but this doesn't:
{{{
sage: H(0*x, 0*x)
ValueError: linear expression must be non-constant to define a hyperplane
}}}
I think the best course of action is to make this consistent by stripping
out the degenerate hyperplanes. Alternatively we could treat the special
case of a non-hyperplane `0` as referring to the empty arrangement as a
workaround for #8648 and the equality test. Your thoughts?
--
Ticket URL: <http://trac.sagemath.org/ticket/14789#comment:58>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
