# Ticket #178: in_singular3

File in_singular3, 2.4 KB (added by , 14 years ago) |
---|

Line | |
---|---|

1 | option(redSB); |

2 | ring R=0,(x(1..16),y(1..16)),lp; |

3 | poly f1 = x(1); |

4 | poly f2 = y(1); |

5 | poly f3 = x(2) -1; |

6 | poly f4 = y(2); |

7 | poly f5 = (x(1)-x(4))^2 + (y(1)-y(4))^2 - 1; |

8 | poly f6 = (x(2)-x(4))^2 + (y(2)-y(4))^2 - 1; |

9 | poly f7 = (x(2)-x(5))^2 + (y(2)-y(5))^2 - 1; |

10 | poly f8 = (x(4)-x(5))^2 + (y(4)-y(5))^2 - 1; |

11 | poly f9 = (x(2)-x(3))^2 + (y(2)-y(3))^2 - 1; |

12 | poly f10 = (x(5)-x(3))^2 + (y(5)-y(3))^2 - 1; |

13 | poly f11 = (x(1)-x(6))^2 + (y(1)-y(6))^2 - 1; |

14 | poly f12 = (x(6)-x(7))^2 + (y(6)-y(7))^2 - 1; |

15 | poly f13 = (x(7)-x(3))^2 + (y(7)-y(3))^2 - 1; |

16 | poly f14 = (x(12)-x(3))^2 + (y(12)-y(3))^2 - 1; |

17 | poly f15 = (x(7)-x(12))^2 + (y(7)-y(12))^2 - 1; |

18 | poly f16 = (x(7)-x(11))^2 + (y(7)-y(11))^2 - 1; |

19 | poly f17 = (x(12)-x(11))^2 + (y(12)-y(11))^2 - 1; |

20 | poly f18 = (x(11)-x(13))^2 + (y(11)-y(13))^2 - 1; |

21 | poly f19 = (x(12)-x(13))^2 + (y(12)-y(13))^2 - 1; |

22 | poly f20 = (x(10)-x(6))^2 + (y(10)-y(6))^2 - 1; |

23 | poly f21 = (x(10)-x(11))^2 + (y(10)-y(11))^2 - 1; |

24 | poly f22 = (x(1)-x(8))^2 + (y(1)-y(8))^2 - 1; |

25 | poly f23 = (x(6)-x(8))^2 + (y(6)-y(8))^2 - 1; |

26 | poly f24 = (x(10)-x(8))^2 + (y(10)-y(8))^2 - 1; |

27 | poly f25 = (x(9)-x(8))^2 + (y(9)-y(8))^2 - 1; |

28 | poly f26 = (x(10)-x(9))^2 + (y(10)-y(9))^2 - 1; |

29 | poly f27 = (x(14)-x(9))^2 + (y(14)-y(9))^2 - 1; |

30 | poly f28 = (x(14)-x(13))^2 + (y(14)-y(13))^2 - 1; |

31 | poly f29 = (x(15)-x(9))^2 + (y(15)-y(9))^2 - 1; |

32 | poly f30 = (x(15)-x(14))^2 + (y(15)-y(14))^2 - 1; |

33 | poly f31 = (x(15)-x(16))^2 + (y(15)-y(16))^2 - 1; |

34 | poly f32 = (x(16)-x(14))^2 + (y(16)-y(14))^2 - 1; |

35 | poly f33 = (x(16)-x(13))^2 + (y(16)-y(13))^2 - 1; |

36 | poly f34 = (x(1)-x(9))^2 + (y(1)-y(9))^2 - 4; |

37 | poly f35 = (x(9)-x(13))^2 + (y(9)-y(13))^2 - 4; |

38 | poly f36 = (x(13)-x(3))^2 + (y(13)-y(3))^2 - 4; |

39 | poly f37 = (x(1)-x(10))^2 + (y(1)-y(10))^2 - 3; |

40 | poly f38 = (x(9)-x(6))^2 + (y(9)-y(6))^2 - 3; |

41 | poly f39 = (x(16)-x(9))^2 + (y(16)-y(9))^2 - 3; |

42 | poly f40 = (x(15)-x(13))^2 + (y(15)-y(13))^2 - 3; |

43 | poly f41 = (x(11)-x(3))^2 + (y(11)-y(3))^2 - 3; |

44 | poly f42 = (x(7)-x(13))^2 + (y(7)-y(13))^2 - 3; |

45 | poly f43 = 2*x(4)-1; |

46 | poly f44 = 4*y(4)-3; |

47 | poly f45 = 2*x(5)-3; |

48 | poly f46 = y(4)-y(5); |

49 | poly f47 = x(3)-2; |

50 | poly f48 = y(3); |

51 | poly f49 = x(13)-9; |

52 | poly f50 = (x(7)-x(6))*(y(11)-y(10))-(x(11)-x(10))*(y(7)-y(6)); |

53 | poly f51 = (x(10)-x(6))*(y(11)-y(7))-(x(11)-x(7))*(y(10)-y(6)); |

54 | ideal I=f1,f2,f3,f4,f5,f6,f7,f8,f9,f10,f11,f12,f13,f14,f15,f16,f17,f18,f19,f20,f21,f22,f23,f24,f25,f26,f27,f28,f29,f30,f31,f32,f33,f34,f35,f36,f37,f38,f39,f40,f41,f42,f43,f45,f46,f47,f48; |

55 | list L = facstd(I); |

56 | size(L); |

57 | L; |