Here you find a personal implementation for the computation of marked schemes working in CoCoA 4.7.4 and 4.7.5, and the computation of the generators of the ideals A and B in Example 9.10 of the paper "Functors of liftings of projective schemes"