#18133: Implement Orlik-Solomon algebra of an arrangement
-------------------------------------+-------------------------------------
       Reporter:  kcrisman           |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.10
      Component:  geometry           |   Resolution:
       Keywords:  hyperplane         |    Merged in:
  arrangements                       |    Reviewers:
        Authors:  Travis Scrimshaw,  |  Work issues:
  William Slofstra                   |       Commit:
Report Upstream:  N/A                |  a7bcbadf2efdd95ef76dd7d8b2744ae76b5d9f1a
         Branch:                     |     Stopgaps:
  public/algebras/orlik_solomon-18133|
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by kcrisman):

 > I can easily change this so the default is the base ring of the
 arrangement, but it can take another base ring as input. Although I think
 it carries less meaning in terms of studying the arrangement, but I'm not
 that much of an expert to know for certain.

 I don't have a copy of !Orlik/Terao around to check but usually everything
 was complex anyway.  But I did find [http://pages.uoregon.edu/njp/os.pdf
 this] wherein the coefficients are in the field of two elements, though
 the definitions are not ''quite'' the same as just taking the OS algebra
 over two elements as its base field.  Wikipedia says you can take any
 subring of the base field but I don't know I'd trust that without reading
 the final version of [http://www.math.uiuc.edu/~schenck/cxarr.pdf this] a
 bit more.  If one of you knows one of these guys one could ask; I haven't
 talked to any of them in quite a while.

--
Ticket URL: <http://trac.sagemath.org/ticket/18133#comment:17>
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