Home Online Manual
Top
Back: BorelCheck
Forward: Singularities
FastBack:
FastForward:
Up: JMSConst_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.18.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))