AbstractOrientedSimplicialComplex
Author: Kurt Pagani
Date Created: Wed Feb 17 17:19:51 CET 2021
License: BSD
References:
Description:
sign : (SPI,SPI) -> Integer
sign(A,B) computes the sign of the merge of the ordered sets A,B
of positive integers regarding the (ordered) union of A and B.
Note: sign(A,B)=0 if intersect(A,B) is empty.
degree : % -> NNI
degree(A) gives the degree of the leading monomial.
D : (%,PI) -> %
D(X,i) computes the i-th partial derivative, i.e. more precisely
the i-th partial boundary. For instance D(X1*X2,1)=X2, and
D(X1*X2,2)=-X1.
D : % -> %
D(X)=sum(D(X,i),i=1..) computes the boundary of X.