# Singular

#### D.5.12.2 JMarkedScheme

Procedure from library `JMSConst.lib` (see JMSConst_lib).

Usage:
JMarkedScheme(Borid, r); Borid ideal, r ring

Return:
list: Jms

Note:
This procedure performs automatically the whole construction of the J-marked scheme.

Example:
 ```LIB "JMSConst.lib"; ring r=0, (x,y,z),rp; ideal Borid=y^2*z,y*z^2,z^3,y^5; JMarkedScheme(Borid,r); ==> [1]: ==> (-c(1)*c(15)+c(1)*c(9)+c(8)^2+c(1)*c(4)*c(8)-c(2)*c(8)-c(1)*c(5)+c(1)*\ c(2)*c(4)+c(3)) ==> [2]: ==> (-c(1)*c(16)-c(10)+c(8)*c(9)+c(1)*c(4)*c(9)+c(6)-c(2)*c(5)-c(3)*c(4)+c\ (2)^2*c(4)) ==> [3]: ==> (-c(1)*c(17)+c(8)*c(10)+c(1)*c(4)*c(10)-c(2)*c(10)+c(3)*c(9)+c(7)-c(3)\ *c(5)+c(2)*c(3)*c(4)) ==> [4]: ==> (-c(11)-c(4)^2) ==> [5]: ==> (-c(1)*c(18)-c(12)+c(8)*c(11)+c(1)*c(4)*c(11)-c(2)*c(11)+c(4)*c(9)-2*c\ (4)*c(5)+c(2)*c(4)^2) ==> [6]: ==> (-c(1)*c(19)-c(13)+c(8)*c(12)+c(1)*c(4)*c(12)-c(2)*c(12)+c(5)*c(9)-c(4\ )*c(6)-c(5)^2+c(2)*c(4)*c(5)) ==> [7]: ==> (-c(1)*c(20)-c(14)+c(8)*c(13)+c(1)*c(4)*c(13)-c(2)*c(13)+c(6)*c(9)-c(4\ )*c(7)-c(5)*c(6)+c(2)*c(4)*c(6)) ==> [8]: ==> (-c(1)*c(21)+c(8)*c(14)+c(1)*c(4)*c(14)-c(2)*c(14)+c(7)*c(9)-c(5)*c(7)\ +c(2)*c(4)*c(7)) ==> [9]: ==> (c(1)*c(16)-c(1)*c(12)+c(1)*c(8)*c(11)+c(1)*c(2)*c(11)+c(10)-c(8)*c(9)\ ) ==> [10]: ==> (-c(17)-c(8)*c(16)+c(2)*c(16)+c(9)*c(15)+c(13)-c(2)*c(12)+c(1)*c(9)*c(\ 11)-c(3)*c(11)+c(2)^2*c(11)-c(9)^2) ==> [11]: ==> (-c(8)*c(17)+c(3)*c(16)+c(10)*c(15)+c(14)-c(3)*c(12)+c(1)*c(10)*c(11)+\ c(2)*c(3)*c(11)-c(9)*c(10)) ==> [12]: ==> (-c(18)-c(4)*c(11)) ==> [13]: ==> (-c(19)-c(8)*c(18)+c(4)*c(16)+c(11)*c(15)-c(4)*c(12)+c(1)*c(11)^2-c(9)\ *c(11)-c(5)*c(11)+c(2)*c(4)*c(11)) ==> [14]: ==> (-c(20)-c(8)*c(19)+c(5)*c(16)+c(12)*c(15)+c(1)*c(11)*c(12)-c(9)*c(12)-\ c(5)*c(12)-c(6)*c(11)+c(2)*c(5)*c(11)) ==> [15]: ==> (-c(21)-c(8)*c(20)+c(6)*c(16)+c(13)*c(15)+c(1)*c(11)*c(13)-c(9)*c(13)-\ c(6)*c(12)-c(7)*c(11)+c(2)*c(6)*c(11)) ==> [16]: ==> (-c(8)*c(21)+c(7)*c(16)+c(14)*c(15)+c(1)*c(11)*c(14)-c(9)*c(14)-c(7)*c\ (12)+c(2)*c(7)*c(11)) ==> [17]: ==> (-c(1)*c(27)+c(1)*c(8)*c(26)+c(1)*c(2)*c(26)-c(1)^2*c(9)*c(25)-c(1)*c(\ 8)^2*c(25)-c(1)*c(2)*c(8)*c(25)+c(1)*c(3)*c(25)-c(1)*c(2)^2*c(25)+c(24)-c\ (8)*c(23)-c(1)*c(4)*c(23)-c(15)*c(22)-c(1)*c(11)*c(22)-c(4)*c(8)*c(22)+c(\ 5)*c(22)-c(2)*c(4)*c(22)-c(1)^2*c(10)+2*c(1)^2*c(8)*c(9)+2*c(1)^2*c(2)*c(\ 9)+c(1)*c(8)^3+c(1)*c(2)*c(8)^2-c(1)*c(3)*c(8)+c(1)*c(2)^2*c(8)-2*c(1)*c(\ 2)*c(3)+c(1)*c(2)^3) ==> [18]: ==> (c(28)-c(2)*c(27)+c(1)*c(9)*c(26)-c(3)*c(26)+c(2)^2*c(26)+c(1)*c(10)*c\ (25)-c(1)*c(8)*c(9)*c(25)-2*c(1)*c(2)*c(9)*c(25)+2*c(2)*c(3)*c(25)-c(2)^3\ *c(25)+c(4)*c(24)-c(1)*c(11)*c(23)-c(9)*c(23)+c(5)*c(23)-2*c(2)*c(4)*c(23\ )-c(16)*c(22)-c(4)*c(9)*c(22)-c(1)*c(8)*c(10)-2*c(1)*c(2)*c(10)+c(1)^2*c(\ 9)^2+c(1)*c(8)^2*c(9)+2*c(1)*c(2)*c(8)*c(9)-2*c(1)*c(3)*c(9)+3*c(1)*c(2)^\ 2*c(9)+c(3)^2-3*c(2)^2*c(3)+c(2)^4) ==> [19]: ==> (c(29)-c(3)*c(27)+c(1)*c(10)*c(26)+c(2)*c(3)*c(26)-c(1)*c(8)*c(10)*c(2\ 5)-c(1)*c(2)*c(10)*c(25)-c(1)*c(3)*c(9)*c(25)+c(3)^2*c(25)-c(2)^2*c(3)*c(\ 25)-c(1)*c(11)*c(24)+c(5)*c(24)-c(2)*c(4)*c(24)-c(10)*c(23)-c(3)*c(4)*c(2\ 3)-c(17)*c(22)-c(4)*c(10)*c(22)+c(1)^2*c(9)*c(10)+c(1)*c(8)^2*c(10)+c(1)*\ c(2)*c(8)*c(10)-2*c(1)*c(3)*c(10)+c(1)*c(2)^2*c(10)+c(1)*c(3)*c(8)*c(9)+2\ *c(1)*c(2)*c(3)*c(9)-2*c(2)*c(3)^2+c(2)^3*c(3)) ==> [20]: ==> (c(1)*c(12)-c(1)*c(8)*c(11)-c(1)*c(2)*c(11)-c(1)*c(4)*c(9)-c(6)+c(2)*c\ (5)+c(3)*c(4)-c(2)^2*c(4)) ==> [21]: ==> (c(1)*c(12)*c(25)-c(1)*c(8)*c(11)*c(25)-c(1)*c(2)*c(11)*c(25)-c(1)*c(4\ )*c(9)*c(25)-c(6)*c(25)+c(2)*c(5)*c(25)+c(3)*c(4)*c(25)-c(2)^2*c(4)*c(25)\ -c(11)*c(23)-c(4)^2*c(23)-c(18)*c(22)-c(4)*c(11)*c(22)+c(1)*c(13)-c(1)*c(\ 8)*c(12)-c(1)*c(2)*c(12)+c(1)^2*c(9)*c(11)+c(1)*c(8)^2*c(11)+c(1)*c(2)*c(\ 8)*c(11)-c(1)*c(3)*c(11)+c(1)*c(2)^2*c(11)-c(1)*c(4)*c(10)+c(1)*c(4)*c(8)\ *c(9)-c(1)*c(5)*c(9)+2*c(1)*c(2)*c(4)*c(9)-c(7)+c(2)*c(6)+c(3)*c(5)-c(2)^\ 2*c(5)-2*c(2)*c(3)*c(4)+c(2)^3*c(4)) ==> [22]: ==> (c(4)*c(28)-c(1)*c(11)*c(27)-c(2)*c(4)*c(27)+c(1)*c(12)*c(26)-c(6)*c(2\ 6)+c(2)*c(5)*c(26)+c(1)*c(13)*c(25)-c(1)*c(8)*c(12)*c(25)-c(1)*c(2)*c(12)\ *c(25)-c(1)*c(5)*c(9)*c(25)-c(7)*c(25)+c(2)*c(6)*c(25)+c(3)*c(5)*c(25)-c(\ 2)^2*c(5)*c(25)-c(12)*c(23)-c(4)*c(5)*c(23)-c(19)*c(22)-c(4)*c(12)*c(22)+\ c(1)*c(14)-c(1)*c(8)*c(13)-c(1)*c(2)*c(13)+c(1)^2*c(9)*c(12)+c(1)*c(8)^2*\ c(12)+c(1)*c(2)*c(8)*c(12)-c(1)*c(3)*c(12)+c(1)*c(2)^2*c(12)-c(1)*c(5)*c(\ 10)+c(1)*c(5)*c(8)*c(9)-c(1)*c(6)*c(9)+2*c(1)*c(2)*c(5)*c(9)+c(2)*c(7)+c(\ 3)*c(6)-c(2)^2*c(6)-2*c(2)*c(3)*c(5)+c(2)^3*c(5)) ==> [23]: ==> (c(4)*c(29)-c(1)*c(11)*c(28)+c(5)*c(28)-c(2)*c(4)*c(28)-c(6)*c(27)+c(1\ )*c(13)*c(26)-c(7)*c(26)+c(2)*c(6)*c(26)+c(1)*c(14)*c(25)-c(1)*c(8)*c(13)\ *c(25)-c(1)*c(2)*c(13)*c(25)-c(1)*c(6)*c(9)*c(25)+c(2)*c(7)*c(25)+c(3)*c(\ 6)*c(25)-c(2)^2*c(6)*c(25)-c(13)*c(23)-c(4)*c(6)*c(23)-c(20)*c(22)-c(4)*c\ (13)*c(22)-c(1)*c(8)*c(14)-c(1)*c(2)*c(14)+c(1)^2*c(9)*c(13)+c(1)*c(8)^2*\ c(13)+c(1)*c(2)*c(8)*c(13)-c(1)*c(3)*c(13)+c(1)*c(2)^2*c(13)-c(1)*c(6)*c(\ 10)+c(1)*c(6)*c(8)*c(9)-c(1)*c(7)*c(9)+2*c(1)*c(2)*c(6)*c(9)+c(3)*c(7)-c(\ 2)^2*c(7)-2*c(2)*c(3)*c(6)+c(2)^3*c(6)) ==> [24]: ==> (-c(1)*c(11)*c(29)+c(5)*c(29)-c(2)*c(4)*c(29)-c(7)*c(27)+c(1)*c(14)*c(\ 26)+c(2)*c(7)*c(26)-c(1)*c(8)*c(14)*c(25)-c(1)*c(2)*c(14)*c(25)-c(1)*c(7)\ *c(9)*c(25)+c(3)*c(7)*c(25)-c(2)^2*c(7)*c(25)-c(14)*c(23)-c(4)*c(7)*c(23)\ -c(21)*c(22)-c(4)*c(14)*c(22)+c(1)^2*c(9)*c(14)+c(1)*c(8)^2*c(14)+c(1)*c(\ 2)*c(8)*c(14)-c(1)*c(3)*c(14)+c(1)*c(2)^2*c(14)-c(1)*c(7)*c(10)+c(1)*c(7)\ *c(8)*c(9)+2*c(1)*c(2)*c(7)*c(9)-2*c(2)*c(3)*c(7)+c(2)^3*c(7)) ```