1 #ifndef POWER_SERIES_HEADER 2 #define POWER_SERIES_HEADER 8 std::input_iterator_tag,
9 typename traits::expansion_type,
11 shared_ptr<const typename traits::expansion_type>,
12 const typename traits::expansion_type
27 denominator_type den_arg):
28 data(den_arg.getRing()),
29 lastPot(den_arg.getRing()),
33 ring
r=denominator.getRing();
36 typename traits::denominator_type::iterator it=denominator.begin();
37 typename traits::denominator_type::iterator end=denominator.end();
40 if ((*it).isConstant())
64 typename expansion_type::iterator it=data.begin();
65 typename expansion_type::iterator end=data.end();
66 ring
r=data.getRing();
67 expansion_type
remove(
r);
70 if(it->lmTotalDegree()<
state)
81 typename expansion_type::iterator it=data.begin();
82 typename expansion_type::iterator end=data.end();
83 ring
r=data.getRing();
84 expansion_type
res(r);
87 if(it->lmTotalDegree()==
state)
106 return state==t2.
state;
110 return state!=t2.
state;
139 PowerSeriesBase(
const numerator_type &
a,
const denominator_type &
b):numerator(a),denominator(b)
141 assume(a.getRing()==b.getRing());
147 return iterator(numerator,denominator);
PowerSeriesBase< PowerSeriesVectorTraits > VectorPowerSeries
PowerSeriesInputIterator< traits > iterator
PowerSeriesBase< PowerSeriesPolyTraits > PowerSeries
PowerSeriesBase(const numerator_type &a, const denominator_type &b)
VectorPowerSeries create_type
denominator_type denominator
traits::numerator_type numerator_type
traits::denominator_type denominator_type