Skip to content

Instantly share code, notes, and snippets.

@maple3142

maple3142/gb.magma

Created July 12, 2022 09:49
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save maple3142/fc200070e224c16af5b60808288729d5 to your computer and use it in GitHub Desktop.
Save maple3142/fc200070e224c16af5b60808288729d5 to your computer and use it in GitHub Desktop.
Download ZIP
magma gb
Raw
gb.magma
N := 16272263761884760913834981570237185012689016739909681724173123311027023698119382194604351367717710439423966215734773732739017169649397007886867641042574372612328200833990505826283627024383229386248616346487228543485039109194654445182620365493334393898275761693877783109565274288153742902157274464598397610141189095624484325167663863550180485641254521697139714498053575172081231983805125962891334660276966188969824322759661626822865129776818152174027045203117029331430920115554670139006395498251713151875940958179247650377893980949189098296912824643766810997471467119541508081507756798709251607976701111186991307217371;
c1 := 11547204607255954324199121214632560636364249229000029163465399042443068035897619236085603943637866463988625613393827834227772690835347366115888550792489725212087308830264940661911030472618516475638910503922496683374256323785420830859653342064760027220200368726182296772910035816000742080038371585906399070878827933091170615155755538886287957662410133864919261200935020095713195395126201358163231360426078473348206414457917099401929608216772566946978352847844094583429811562120417858193473427697104563015817347002582291979337925111829202802373376473956907890998201398479492352064322306448799510949925147;
c2 := 6218239068941458549304802730235762901253618810006981310495988330786757053199167763595591087425671783367658159317260692474386538594835614541644363032551216570825683617604305734888778246910782055883876087771435112799833657905417184226111469460104770071993334513432324160313373185603394319904213600742384550090493904784747619604027982971853051739991529993041062416509244510123387117221791055954380571498331689126943601663881149954853170425750667520977629909792430706943844944976450018633939319362163661175959237015275591202116594438885728250947583565093328971394181631984495600073990354874865015676373901;
c3 := 5168144078084505305157422858132900925459976459693933795892573237221135986903045481675688916309743673284284800489915456583932830436845932967589139193317252943716815560436682633685188206151847242233717392614894376774835174675375846551333784151771804744840093713473689413446630979309668565364598095542133189861793650284055044568870293481207833561122482191266271114294370269739780251696612319247951154300117458257486065874348619859682520132315474568884344944791078460052316750937992021092374123170081298771983567043481054440034367563050655923670327374816045722751466241214334690706992029814028416879907412354241370850984;
w := 573209924550622525172319935730735561;
e := 23;
R := Integers(N);
P<x1,x2,x3> := PolynomialRing(R, 3);
I := ideal<P| x1^e-c1, x2^e-c2, x3^e-c3, x1+x2+x3-w>;
GroebnerBasis(I)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment