Re: [sage-devel] Re: Using Both Induced Volume and Lrs Engine

2022-02-28 Thread Matthias Koeppe
Yes, I guess, "induced_rational" is the one I meant. I don't recall if it works together with using "lrs" as the engine. If it doesn't, https://trac.sagemath.org/ticket/31730 ("Polyhedron.affine_hull: New option 'unimodular' ") is how to implement it. On

Re: [sage-devel] Re: Using Both Induced Volume and Lrs Engine

2022-02-28 Thread Dima Pasechnik
On Mon, Feb 28, 2022 at 1:47 AM Matthias Koeppe wrote: > > On Sunday, February 27, 2022 at 4:16:05 PM UTC-8 Dima Pasechnik wrote: >> >> >> In fact, it seems that the paper you cite uses a rather unusual way >> to normalise the volume: >> >> "The normalized volume vol(P) of a d-dimensional polytope

Re: [sage-devel] Re: Using Both Induced Volume and Lrs Engine

2022-02-27 Thread Matthias Koeppe
On Sunday, February 27, 2022 at 4:16:05 PM UTC-8 Dima Pasechnik wrote: > > In fact, it seems that the paper you cite uses a rather unusual way > to normalise the volume: > > "The normalized volume vol(P) of a d-dimensional polytope P ⊂ R m is > the volume form which assigns a volume of one to t

Re: [sage-devel] Re: Using Both Induced Volume and Lrs Engine

2022-02-27 Thread Advay Goel
To reply to your last email, if measure = "induced" does not work, what would you suggest since flow polytopes are not fully dimensional? Also, in your penultimate email, you mentioned that Sage normalizes volume using linear algebra -- how exactly does that process work? what is it called? Al

Re: [sage-devel] Re: Using Both Induced Volume and Lrs Engine

2022-02-27 Thread Dima Pasechnik
On Mon, Feb 28, 2022 at 12:15 AM Dima Pasechnik wrote: > > sage: sage: G=DiGraph({0:[1,2,3,4], 1:[2,3,4], 2:[3,4], 3:[4]}) > : sage: G.flow_polytope().volume(measure = "induced", engine = "lrs") > 0.03105649968749708? > sage: sage: G=DiGraph({0:[1,2,3,4], 1:[2,3,4], 2:[3,4], 3:[4]}) > : sa

Re: [sage-devel] Re: Using Both Induced Volume and Lrs Engine

2022-02-27 Thread Dima Pasechnik
sage: sage: G=DiGraph({0:[1,2,3,4], 1:[2,3,4], 2:[3,4], 3:[4]}) : sage: G.flow_polytope().volume(measure = "induced", engine = "lrs") 0.03105649968749708? sage: sage: G=DiGraph({0:[1,2,3,4], 1:[2,3,4], 2:[3,4], 3:[4]}) : sage: G.flow_polytope().volume(measure = "induced") 0.0310564996874970

Re: [sage-devel] Re: Using Both Induced Volume and Lrs Engine

2022-02-26 Thread Dima Pasechnik
PS. After the GitPod has launched the image, you'll need to install lrs into the local copy of Sage, by going to the righ/bottom part, where you see a shell prompt, and run make lrslib after that, you can launch Sage there: ./sage and try things like sage: polytopes.hypercube(3)._volume_

Re: [sage-devel] Re: Using Both Induced Volume and Lrs Engine

2022-02-26 Thread Dima Pasechnik
some rows got messed up in the reply, here is an update: On Sat, Feb 26, 2022 at 11:19 PM Dima Pasechnik wrote: > > > > On Sat, 26 Feb 2022, 22:42 Advay Goel, wrote: >> >> >> Even after the issue seemed to be fixed here: >> https://trac.sagemath.org/ticket/33410, I still get the same error as

Re: [sage-devel] Re: Using Both Induced Volume and Lrs Engine

2022-02-26 Thread Dima Pasechnik
On Sat, 26 Feb 2022, 22:42 Advay Goel, wrote: > > Even after the issue seemed to be fixed here: > https://trac.sagemath.org/ticket/33410, I still get the same error as > before. I attached a screenshot of part of the error message to this email. > > I run Sage here: https://sagecell.sagemath.org/

Re: [sage-devel] Re: Using Both Induced Volume and Lrs Engine

2022-02-23 Thread Michael Orlitzky
On Wed, 2022-02-23 at 10:34 -0800, Advay Goel wrote: > For example, I currently have a 10-dimensional polytope that is located in > QQ^18. How would I bring this polytope into 10-dimensional space so that I > can use LRS to calculate its volume? If you have a ten-dimensional polytope, there ex