Example #1
0
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();
};
Example #2
0
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';
  };
};