-
Notifications
You must be signed in to change notification settings - Fork 13
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
Problem with entering certain incidence algebras #63
Comments
This seems to be a bug inside GBNP or in the way QPA communicates with GBNP. Inside QPA there is an alternative way of computing a Groebner basis of an ideal by the command HighLevelGroebnerBasis. This method was contributed by erich-9. Here is how you could use this:
There has also been earlier cases with possible bugs in GBNP and/or the way QPA communicates with GBNP. The way QPA communicates with GBNP is unfortunately not documented, so it is a black box. The dependency on GBNP are not present in QPA2. |
I enter incidence algebras in QPA as in the following example that works fine:
L:=[ [ [ "'x1'", "'x2'", "'x3'", "'x4'", "'x5'", "'x6'", "'x7'", "'x8'", "'x9'", "'x10'", "'x11'" ],
[ [ "'x1'", "'x2'" ], [ "'x1'", "'x3'" ], [ "'x1'", "'x5'" ], [ "'x2'", "'x4'" ], [ "'x2'", "'x6'" ], [ "'x3'", "'x4'" ],
[ "'x3'", "'x8'" ], [ "'x4'", "'x7'" ], [ "'x5'", "'x6'" ], [ "'x5'", "'x8'" ], [ "'x6'", "'x7'" ], [ "'x6'", "'x9'" ],
[ "'x7'", "'x10'" ], [ "'x8'", "'x9'" ], [ "'x9'", "'x10'" ], [ "'x10'", "'x11'" ] ] ] ];Temp:=[];for i in L do Append(Temp,[[i,Poset(i[1],i[2])]]);od;Temp2:=[];for i in Temp do Append(Temp2,[[i[1],PosetAlgebra(GF(3),i[2])]]);od;A:=Temp2[1][2];
However, for certain strange posets the same method gives an error as in the following example:
L:=[ [ [ "'x1'", "'x2'", "'x3'", "'x4'", "'x5'", "'x6'", "'x7'", "'x8'", "'x9'", "'x10'", "'x11'" ],
[ [ "'x1'", "'x2'" ], [ "'x1'", "'x3'" ], [ "'x2'", "'x4'" ], [ "'x2'", "'x6'" ], [ "'x3'", "'x4'" ], [ "'x3'", "'x6'" ],
[ "'x4'", "'x5'" ], [ "'x4'", "'x7'" ], [ "'x5'", "'x8'" ], [ "'x5'", "'x9'" ], [ "'x6'", "'x7'" ], [ "'x6'", "'x9'" ],
[ "'x7'", "'x8'" ], [ "'x8'", "'x10'" ], [ "'x9'", "'x10'" ], [ "'x10'", "'x11'" ] ] ] ];Temp:=[];for i in L do Append(Temp,[[i,Poset(i[1],i[2])]]);od;Temp2:=[];for i in Temp do Append(Temp2,[[i[1],PosetAlgebra(GF(3),i[2])]]);od;A:=Temp2[1][2];
The text was updated successfully, but these errors were encountered: