solvable.hpp

Go to the documentation of this file.

// Copyright 2003 Michael E. Stillman
 
#ifndef _solvable_hh_
#define _solvable_hh_

 
#include "poly.hpp"


class SolvableAlgebra : public PolyRing
{
  const Matrix *Q_;
 
  static SolvableAlgebra *create(const Ring *K,
                                 const Monoid *M,
                                 const Matrix *Q);
 
 protected:
  bool initialize_solvable(const Matrix *Q);
  SolvableAlgebra() {}
  virtual ~SolvableAlgebra();
 
 public:
  static SolvableAlgebra *create(const PolynomialRing *R, const Matrix *Q);
 
  virtual bool is_commutative_ring() const { return false; }
  virtual bool is_solvable_algebra() const { return true; }
  virtual const SolvableAlgebra *cast_to_SolvableAlgebra() const
  {
    return this;
  }
  virtual SolvableAlgebra *cast_to_SolvableAlgebra() { return this; }
  virtual ring_elem power(const ring_elem f, mpz_srcptr n) const;
  virtual ring_elem power(const ring_elem f, int n) const;
 
 public:
  virtual ring_elem mult_by_term(const ring_elem f,
                                 const ring_elem c,
                                 const int *m) const;
};
#endif
 
// Local Variables:
// compile-command: "make -C $M2BUILDDIR/Macaulay2/e "
// indent-tabs-mode: nil
// End: