Skip to content

Instantly share code, notes, and snippets.

View krox's full-sized avatar

Simon Bürger krox

  • University of Edinburgh
  • Edinburgh
View GitHub Profile
@krox
krox / gist:484252f075eb19edd0ac865099a564ba
Created July 2, 2021 10:00
Gröbner basis compution in Maple
ideal := [f0,f1,f2,f3,f4,f5,f6,f7,f8,f9,f10,f11,f12,f13,f14,f15,f16,f17,f18,f19,f20,f21];
with(Groebner);
infolevel[GroebnerBasis] := 5;
vars := [a1,b1,b2,a2,a3,b3,b4,a4,a5,a6,b5,b6,a7,a8,a9,a10];
mybasis = Basis(ideal, tdeg);
-> MGb
domain: rat_int_cof
F4 algorithm

Keybase proof

I hereby claim:

  • I am krox on github.
  • I am krox (https://keybase.io/krox) on keybase.
  • I have a public key ASDJNwTouLMZIPIuWSY8IFO5NYNzaAOMHS8Y0zf57Kfltwo

To claim this, I am signing this object: