-
-
Notifications
You must be signed in to change notification settings - Fork 453
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Cartesian product of polyhedra with different dimension fails #15253
Comments
comment:6
i read when you remove the |
comment:7
would it be ok if it just performs a |
comment:8
Hi, this is not a solution! i'm posting a commented session where i learned something new about this issue.. first, the problem:
it arises from using the
in consequence:
on the other side, in
so already at the level of This function assumes that at least one of the arguments is a To sum up:
|
comment:9
CC'ing Vincent |
comment:10
Disclaimer: I am not an expert in polytopes. I feel like this is the correct error as there is not a canonical way to embed a Z polytope into a Z2 polytope. However, that is not the issue with the ticket as the product is still well-defined, but what actually should be tested is that the base rings can be made into a common parent:
So if that is |
Commit: |
comment:11
Thanks Travis. I'm uploading an attempt based on the previous observations. My disclaimer is that I need this operation to substitute 1 piece of my Matlab workflow :) New commits:
|
Branch: u/mforets/15253 |
comment:12
Positive review once you set the author field. |
Reviewer: Travis Scrimshaw |
Author: Marcelo Forets |
comment:14
Thanks! |
Changed branch from u/mforets/15253 to |
probably shouldn't use
@coerce_binop
onPolyhedra.product
CC: @dimpase @jplab @mforets @videlec
Component: geometry
Author: Marcelo Forets
Branch/Commit:
a95ca7f
Reviewer: Travis Scrimshaw
Issue created by migration from https://trac.sagemath.org/ticket/15253
The text was updated successfully, but these errors were encountered: