expectFiltrationList -- accepts a list of modules if each includes in the next

Synopsis

• Usage:

  expectFiltrationList L

• Inputs:
  • L, a list, of the form {..., M_i, M_{i+1}, ...}; M_i modules for the same ring, and M_i \subseteq M_{i+1}.
• Consequences:

  • causes an error if L is not of the indicated form, or if L is empty

Description

all(#L - 1, q -> isSubset(L#q, L#(q+1)))

See also

• filtrationModule -- converts a filtered module to an R[t]-module