search

SupposeNot / RAMP

Research Assistant for Maps and Polytopes
4 stars 0 forks source link

Odd Behavior of IsQuotient #152

Closed Mixer2021 closed 2 years ago

Mixer2021 commented 2 years ago

A should be equal to B, and they both should be quotients of each other. One direction is failing. M:=Simplex(4); W:=WythoffVoltageOperator(4,[0,1,2,3],M); A:=Facets(W)[2]; B:=Prism(6); Size(A)=Size(B); A=B; B=A; IsQuotient(A,B); IsQuotient(B,A);

Mixer2021 commented 2 years ago

Issue shows up with FlagOrbitRepresentatives.
For some reason when you call that function you gets a different result than when you run the code line by line on A.

Issue does not show up if you replace Facets with Facet A:=Facet(W,145) works fine.

CunningGabe commented 2 years ago

Fixed in d9b69fac875a4eb8489049b525237f6d497d66eb.