Feature #3
implement creation of a PPMonoidElement from vector<BigInt>
Description
implement PPMonoidElem(const PPMonoid& Gamma, const std::vector<BigInt>& v)
it is already as a comment in PPMonoid.H
it should then be used in
void VecVecBigIntToPPVector(PPVector& ppv, const std::vector<std::vector<BigInt> >& M)
in ExternalLibs-Normaliz.C
History
#1 Updated by Anna Maria Bigatti over 12 years ago
- Category set to New Function
#2 Updated by John Abbott about 11 years ago
- Status changed from New to Closed
- Assignee set to John Abbott
- Target version set to CoCoALib-0.9953
- % Done changed from 0 to 100
(2013-03-14) This work has already been done some time ago -- just updating the redmine entry.