unstable.H

#ifndef _UNSTABLE_H_
#define _UNSTABLE_H_


#include "algebras.H"
#include <string>
#include <sstream>
#include <fstream>
#include "my_gmp.H"
#include "ftwo.H"
using namespace std;


class UnstableAlgebra : public GradedAlgebra<F_2> {
private:
  //silly thing used by saturate_and_reduce(). See unstable.cpp.
  void insert(const Polynomial<F_2>& P, 
              const string& com, 
              list< Polynomial<F_2> >& thelist);

public:

  list< string > comments;
  map< long, Tuple< Polynomial<F_2> > > steenrod;
  // as usual, we need to rewrite the following
  virtual void swap_variables_order(long i, long j, list< Polynomial<F_2> >& polys);
  virtual void swap_variables_order(long i, long j);
  virtual void kill_top_variable(const Polynomial<F_2>& replacement,
                                 list< Polynomial<F_2> >& polys);
  virtual void kill_top_variable(const Polynomial<F_2>& replacement);
  virtual void fix_alphabets();
  //new stuff///////////////////////////////////

  void write_trivial_steenrod_operations();
  Polynomial<F_2> Sq(long i, const Polynomial<F_2>& x) const;
  Polynomial<F_2> Q(long i, const Polynomial<F_2>& x) const;

  void display() const;  

  AbstractHomomorphism<F_2> saturate_and_reduce();
  bool is_saturated() const;

  bool has_closure_of(const AffineHomomorphism<F_2>& f) const;
  friend ostream& operator<<(ostream& os, const UnstableAlgebra& A);
  friend ofstream& operator<<(ofstream& file, UnstableAlgebra& A);
  friend void operator>>(ifstream& file, UnstableAlgebra& A);

};



#endif

---