crgibbons

%% colors (yoinked from a different file where they were defined by Geogebra)
 \definecolor{qqwuqq}{rgb}{0,0.49,0}
 \definecolor{ududff}{rgb}{0.30,0.30,1}
 \definecolor{udqqud}{rgb}{0.30,0,0.30}
 \definecolor{cqcqcq}{rgb}{0.75,0.75,0.75}
%
%% add scaling factor as needed (e.g., "scale = 0.9")
%
\begin{tikzpicture}[line cap = round, line join = round, > = latex, x = 2cm, y = 2cm]
 %% grid, axes, and clip window

crgibbons

Keybase proof

I hereby claim:

• I am crgibbons on github.
• I am virtualcourtney (https://keybase.io/virtualcourtney) on keybase.
• I have a public key ASBJvVAw_ZpQLiYekvHLCvr5reWgrnJ_oQEE5Rerf63lPgo

To claim this, I am signing this object:

crgibbons

#don't judge.  I only needed 4-tuples.  Might one day clean this up.
X = list()
for n in range(4):
    for t in range (n+1):
        for s in range (t+1):
            for z in range (s+1):
                X.append((z,s,t,n))

#double check that output!
X

crgibbons

#!/usr/bin/env python

import sys

DEBUG = True
ASCII_MIN = 65; # 'A' = 65 
VALID_ASCII_RANGE = range(ASCII_MIN, ASCII_MIN + 26)

def usage():
    print 'Usage: %s %splaintext%s' % (sys.argv[0], '\033[4m', '\033[0;0m')

crgibbons

loadPackage("NCAlgebraV2", Reload => true)
debug loadPackage("NCAlgebra", Reload => true)
debug loadPackage("Graphs2",Reload => true)

edgeset = method();
edgeset NCGroebnerBasis := G -> (
    obstructions := (keys G.generators) / first ;
    prevert1 := (first gens G).ring / (i -> (first keys i.terms).monList);
    premons := apply (keys G.generators / first, m -> m.monList);
    suffixes := select(