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)