def vector_from_element(self, elt, filt, deg, wt):
"""returns vector in standard basis as determined by the
generate_modules algorithm corr. to elt.
may need to add in a case to handle 0 elements
"""
elt.simplify()
try:
basis = self.get_cplx()[filt]._dict[(deg, wt)]
except KeyError:
print elt
print filt, (deg, wt)
raise KeyError("Elt does not appear in complex!")
vect = ModVector.null(len(basis))
for i in range(len(basis)):
mon = basis[i]
vect[i] = elt.monomial_coefficient(mon)
return vect
def vector_from_element(self, elt, filt, deg, wt):
"""returns vector in standard basis as determined by the
generate_modules algorithm corr. to elt.
may need to add in a case to handle 0 elements
"""
elt.simplify()
try:
basis = self.get_cplx()[filt]._dict[(deg, wt)]
except KeyError:
print elt
print filt, (deg, wt)
raise KeyError("Elt does not appear in complex!")
vect = ModVector.null(len(basis))
for i in range(len(basis)):
mon = basis[i]
vect[i] = elt.monomial_coefficient(mon)
return vect
def get_zero_vector(self):
dim = self.get_A().get_size()[0]
return ModVector.null(dim)
