#19595: Implement a check that a hyperplane arrangement is free
-------------------------------------+-------------------------------------
       Reporter:  tscrim             |        Owner:  tscrim
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.10
      Component:  geometry           |   Resolution:
       Keywords:  free, hyperplane   |    Merged in:
  arrangement                        |    Reviewers:
        Authors:  Travis Scrimshaw   |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  b3db54c53f3a571f7408e14b7274ed9c9f00feaf
  public/hyperplanes/check_free-19595|     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by chapoton):

 * do you check for "freeness" or some stronger "inductive freeness" ?
 * in `to_symmetric_space`
 {{{
 return S.sum(G[i]*c for i,c in enumerate(self.coefficients()[1:]))
 }}}
 why is there `[1:]` ?
 * maybe you should rather write
 {{{chordality is equivalent to freeness}}}
 and name the files "`check_freeness`"

--
Ticket URL: <http://trac.sagemath.org/ticket/19595#comment:4>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to