LIB "ncalg.lib"; LIB "center.lib"; 

def A = makeUsl(3, 0); setring A; A;

centerVS(3); // 2, 3
inCenter(_);

centerRed(-1, 2); // 2, 3
inCenter(_);

def A = makeUsl(3, 5); setring A; A;

ideal Z = centerVS(5); Z; // 2, 3, 5*8, 2+2, 2+3 => 12
inCenter(Z);

centerRed(5, 10); // 2, 3, 5*8 => 10
inCenter(_);





def A = makeQsl2(0); setring A; qring QA = Qideal; QA; 

centerVS(2); // 2
inCenter(_);

def A = makeQsl2(7); setring A; qring QA = Qideal; QA; 
ideal Z = centerVS(7); Z; // 2, 4*7, 2+2, 2+2+2
inCenter(Z);

sa_reduce(Z);

centerRed(-1, 5); // 2, 4*7
inCenter(_);

$
// int @@@DEBUG = 1; printlevel = 5; //
$