previous up next
Go backward to `desing/adjointspdh`
Go up to Procedures
Go forward to `desing/blcompc`

`desing/adjointsr`

Recursive computation of adjoint conditions for a subtree of the resolution tree.

Input:
 
V
a basis of the vector space V in the k-algebra of the chart identified by IDP in which the adjoints are to be computed,
m
the order of adjunction ( >= 1),
IDP
the identifier of the chart in the chartHistory for which the computation is to be done.
Output:
The set of constraints for being an m-adjoint in V with respect to the singularities which are resolved in the subtree with root IDP.

previous up next