#18183: Implement two matroid polytopes
-------------------------+-------------------------------------------------
Reporter: | Owner:
chapoton | Status: needs_review
Type: | Milestone: sage-6.6
enhancement | Resolution:
Priority: major | Merged in:
Component: | Reviewers:
matroid theory | Work issues: documentation
Keywords: | Commit:
matroid polytope | 6484e7198d41b716f4cb70dcf56ea7d849a6ce90
Authors: | Stopgaps:
Frédéric Chapoton |
Report Upstream: N/A |
Branch: |
u/chapoton/18183 |
Dependencies: |
-------------------------+-------------------------------------------------
Comment (by vdelecroix):
Replying to [comment:6 chapoton]:
> Thanks for having a look.
>
> I have added the publication data, and the doi
>
> I have nothing fancy to add in the doctest, sorry.
>
> If we had the Ehrhart polynomial, we could check that their coeffs are
positive..
We do! This is in Latte (see #15180).
1. do {{{sage -i latte_int}}}
2.
{{{
def latte_input_file(P, filename='/tmp/latte.in'):
assert P.n_equations() == 0
f = open(filename, 'w')
f.write("{} {}\n".format(P.n_inequalities(), P.ambient_dim()+1))
for l in P.inequality_generator():
f.write(' '.join(map(str,l)))
f.write('\n')
}}}
3. Then generate the file with the above code and run
{{{
$ count --ehrhart-polynomial /tmp/latte.in
...
Ehrhart polynomial: + 1 * t^0 + 3 * t^1 + 3 * t^2 + 1 * t^3
}}}
Would be really cool to have that properly interfaced within Sage!
Vincent
--
Ticket URL: <http://trac.sagemath.org/ticket/18183#comment:7>
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/d/optout.
