Question: How to calculate this module with Maple

http://math.stackexchange.com/questions/376240/how-to-calculate-grobner-basis-for-syzi-f1-f2-g1-g2

http://math.stackexchange.com/questions/376980/why-syz-algorithm-for-module-have-dimension-problem-how-to-divide-vector-and-mu

i delete previous posts about this question

after tried both examples, all output are different from the result stated in book

i scan the specified pages and make sure my maple code can run

when i reach the final step of syz for module

i got a 1*3 Vector for X25 and X5 etc at first part of s25 however output should be one 1*6 Vector

Please Wait...