1#ifndef IDEAL_CPP_HEADER
2#define IDEAL_CPP_HEADER
14 typedef typename std::vector<poly_type>::size_type
size_type;
15 typedef typename std::vector<poly_type>::iterator
iterator;
68 return storage.insert(__position,__x);
73 return storage.erase(__position);
78 return storage.erase(__first,__last);
82 return insert(__pos,__first,__last);
IdealBase(iterator first, iterator last, const typename std::vector< poly_type >::allocator_type &__a=allocator_type())
iterator erase(iterator __position)
std::vector< poly_type >::difference_type difference_type
iterator insert(iterator __position, const value_type &__x)
std::vector< poly_type >::allocator_type allocator_type
void insert(iterator __pos, iterator __first, iterator __last)
std::vector< poly_type >::size_type size_type
std::vector< poly_type > storage
void push_front(const poly_type &p)
std::vector< poly_type >::iterator iterator
const poly_type & operator[](int n) const
iterator erase(iterator __first, iterator __last)
poly_type & operator[](int n)
void push_back(const poly_type &p)
Ideal(iterator first, iterator last, const allocator_type &__a=allocator_type())
Module(iterator first, iterator last, const allocator_type &__a=allocator_type())
const CanonicalForm int s
ideal idInit(int idsize, int rank)
initialise an ideal / module
long id_RankFreeModule(ideal s, ring lmRing, ring tailRing)
return the maximal component number found in any polynomial in s