void TeX1Display::OutputASingleTeXCategory(
const Spreadsheet & x,const Categories & cat,float ColumnWidth
) {
const vector<GroebnerRule> & RULES = x.RULES();
const VariableSet & knowns = cat.knowns();
const VariableSet & unknowns = cat.unknowns();
outputsource() << "\\rule[3pt]{" << ColumnWidth << "in}{.7pt}\\\\\n";
outputsource() << "The expressions with unknown variables ";
printTeXVariableSet(unknowns);
outputsource() << "\\\\\n";
outputsource() << "and knowns ";
printTeXVariableSet(knowns);
outputsource() << "\\smallskip\\\\\n";
const list<int> & rules = cat.ruleNumbers();
list<int>::const_iterator ww = rules.begin();
const int sz = rules.size();
for(int j=1;j<sz;++j,++ww) {
printNotLastRule(RULES[*ww]);
};
if(sz!=1) {
printLastRule(RULES[*ww]);
};
outputsource().flush();
};
void TeX1Display::Build(const Categories & x,const Spreadsheet & y) {
const vector<GroebnerRule> & RULES = y.RULES();
const list<int> & L = x.ruleNumbers();
const int sz = L.size();
list<int>::const_iterator w = L.begin();
for(int i=1;i<=sz;++i,++w) {
int j = *w;
GBStream << "j is:" << j << '\n';
const GroebnerRule & r = RULES[j];
outputsource().put(r);
outputsource() << '\n';
};
};