Skip to content

Instantly share code, notes, and snippets.

View mohamed-barakat's full-sized avatar

Mohamed Barakat mohamed-barakat

59 followers · 29 following
View GitHub Profile
@mohamed-barakat
mohamed-barakat / SL_2-orbit_of_x^4y^2.g
Last active October 13, 2022 22:10
Is the SL_2-orbit of x^4y^2 in the closure of the SL_2-orbit of x^6+y^6?
gap> LoadPackage( "RingsForHomalg" );
true
gap> Q := HomalgFieldOfRationalsInSingular( );
Q
gap> t := "t60,t51,t42,t33,t24,t15,t06";;
gap> T := Q[t];
Q[t60,t51,t42,t33,t24,t15,t06]
gap> t := HomalgMatrix( t, 7, 1, T );
<A 7 x 1 matrix over an external ring>
gap> R := T["g11,g12,g21,g22"];
@mohamed-barakat
mohamed-barakat / keybase.md
Created August 14, 2017 14:32

Keybase proof

I hereby claim:

  • I am mohamed-barakat on github.
  • I am barakat (https://keybase.io/barakat) on keybase.
  • I have a public key ASCaIz7emnMJixsTm0XU0lpnYI_wfp0Iq_it5MjihrqXJwo

To claim this, I am signing this object: