9 lines
178 B
Mathematica
9 lines
178 B
Mathematica
|
function B = getbase(F)
|
||
|
|
|
||
|
|
F = flatten(F);
|
||
|
|
if length(F.clauses)>1
|
||
|
|
error('GETBASE can only be applied to a list with 1 constraint')
|
||
|
|
else
|
||
|
|
B = getbase(F.clauses{1}.data);
|
||
|
|
end
|