Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
executable file 19 lines (18 sloc) 727 Bytes
isHomogeneous
ExponentGCDs=[3,3,3]
Expanding for base=2, reasons+features=base,primitive,same,similiar norm,invall,showfail
Refined variables=a,b,c
[0+1a,0+1b,0+1c]: unknown -> [1] a³+2b³-4c³
-> solution [0,0,0],trivial(3)
----------------
expanding queue[0]^-1,meter=[2,2,2]*2: a³+2b³-4c³
[0+2a,0+2b,0+2c]: non-primitive
-> solution [0,0,0],trivial(3)
[1+2a,0+2b,0+2c]: failure constant=1, vgcd=2
[0+2a,1+2b,0+2c]: failure constant=1, vgcd=2
[1+2a,1+2b,0+2c]: failure constant=3, vgcd=2
[0+2a,0+2b,1+2c]: failure constant=-1, vgcd=2
[1+2a,0+2b,1+2c]: failure constant=-3, vgcd=2
[0+2a,1+2b,1+2c]: failure constant=-1, vgcd=2
[1+2a,1+2b,1+2c]: failure constant=-1, vgcd=2
Proof [1] mod 2: a³+2b³-4c³
Jump to Line
Something went wrong with that request. Please try again.