#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 tscrim):
Replying to [comment:13 darij]:
> OK, the above points are done.
>
> I am out of time now, so if anyone wants to take this over, feel free to
do so. If not, I'll probably return to this in a week or so.
Thank you for taking a look at it and pushing some changes.
> Meanwhile, here is one more question: Your implementation of the Orlik-
Solomon algebra for a hyperplane arrangement assumes that the base field
of the algebra is that of the arrangement. Is that a reasonable
assumption? (To me it sounds wrong -- like studying the homology of real
manifolds only with real coefficients.)
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.
--
Ticket URL: <http://trac.sagemath.org/ticket/18133#comment:16>
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.
