| 1 | LIB "rwalk.lib"; |
|---|
| 2 | |
|---|
| 3 | intvec w = 125,138,149,117,131,120,165,133,123,112,130,119,121,132,122,111,137,127,116,181,38,27,29,40,30,19,45,35,24,89,58,48,37,143,107,20,9,11,22,12,1,27,17,6,71,40,30,19,125,89,45,35,24,104,94,122; |
|---|
| 4 | |
|---|
| 5 | ring r = 0,(p012,p013,p023,p123,p014,p024,p124,p034,p134,p234,p015,p025,p125,p035,p135,p235,p045,p145,p245,p345,p016,p026,p126,p036,p136,p236,p046,p146,p246,p346,p056,p156,p256,p356,p456,p017,p027,p127,p037,p137,p237,p047,p147,p247,p347,p057,p157,p257,p357,p457,p067,p167,p267,p367,p467,p567),(a(w),lp); |
|---|
| 6 | |
|---|
| 7 | ideal I = |
|---|
| 8 | p457*p367-p357*p467+p347*p567, |
|---|
| 9 | p456*p367-p356*p467+p346*p567, |
|---|
| 10 | p457*p267-p257*p467+p247*p567, |
|---|
| 11 | p357*p267-p257*p367+p237*p567, |
|---|
| 12 | p347*p267-p247*p367+p237*p467, |
|---|
| 13 | p456*p267-p256*p467+p246*p567, |
|---|
| 14 | p356*p267-p256*p367+p236*p567, |
|---|
| 15 | p346*p267-p246*p367+p236*p467, |
|---|
| 16 | p345*p267-p245*p367+p235*p467-p234*p567, |
|---|
| 17 | p457*p167-p157*p467+p147*p567, |
|---|
| 18 | p357*p167-p157*p367+p137*p567, |
|---|
| 19 | p257*p167-p157*p267+p127*p567, |
|---|
| 20 | p347*p167-p147*p367+p137*p467, |
|---|
| 21 | p247*p167-p147*p267+p127*p467, |
|---|
| 22 | p237*p167-p137*p267+p127*p367, |
|---|
| 23 | p456*p167-p156*p467+p146*p567, |
|---|
| 24 | p356*p167-p156*p367+p136*p567, |
|---|
| 25 | p256*p167-p156*p267+p126*p567, |
|---|
| 26 | p346*p167-p146*p367+p136*p467, |
|---|
| 27 | p246*p167-p146*p267+p126*p467, |
|---|
| 28 | p236*p167-p136*p267+p126*p367, |
|---|
| 29 | p345*p167-p145*p367+p135*p467-p134*p567, |
|---|
| 30 | p245*p167-p145*p267+p125*p467-p124*p567, |
|---|
| 31 | p235*p167-p135*p267+p125*p367-p123*p567, |
|---|
| 32 | p234*p167-p134*p267+p124*p367-p123*p467, |
|---|
| 33 | p457*p067-p057*p467+p047*p567, |
|---|
| 34 | p357*p067-p057*p367+p037*p567, |
|---|
| 35 | p257*p067-p057*p267+p027*p567, |
|---|
| 36 | p157*p067-p057*p167+p017*p567, |
|---|
| 37 | p347*p067-p047*p367+p037*p467, |
|---|
| 38 | p247*p067-p047*p267+p027*p467, |
|---|
| 39 | p147*p067-p047*p167+p017*p467, |
|---|
| 40 | p237*p067-p037*p267+p027*p367, |
|---|
| 41 | p137*p067-p037*p167+p017*p367, |
|---|
| 42 | p127*p067-p027*p167+p017*p267, |
|---|
| 43 | p456*p067-p056*p467+p046*p567, |
|---|
| 44 | p356*p067-p056*p367+p036*p567, |
|---|
| 45 | p256*p067-p056*p267+p026*p567, |
|---|
| 46 | p156*p067-p056*p167+p016*p567, |
|---|
| 47 | p346*p067-p046*p367+p036*p467, |
|---|
| 48 | p246*p067-p046*p267+p026*p467, |
|---|
| 49 | p146*p067-p046*p167+p016*p467, |
|---|
| 50 | p236*p067-p036*p267+p026*p367, |
|---|
| 51 | p136*p067-p036*p167+p016*p367, |
|---|
| 52 | p126*p067-p026*p167+p016*p267, |
|---|
| 53 | p345*p067-p045*p367+p035*p467-p034*p567, |
|---|
| 54 | p245*p067-p045*p267+p025*p467-p024*p567, |
|---|
| 55 | p145*p067-p045*p167+p015*p467-p014*p567, |
|---|
| 56 | p235*p067-p035*p267+p025*p367-p023*p567, |
|---|
| 57 | p135*p067-p035*p167+p015*p367-p013*p567, |
|---|
| 58 | p125*p067-p025*p167+p015*p267-p012*p567, |
|---|
| 59 | p234*p067-p034*p267+p024*p367-p023*p467, |
|---|
| 60 | p134*p067-p034*p167+p014*p367-p013*p467, |
|---|
| 61 | p124*p067-p024*p167+p014*p267-p012*p467, |
|---|
| 62 | p123*p067-p023*p167+p013*p267-p012*p367, |
|---|
| 63 | p456*p357-p356*p457+p345*p567, |
|---|
| 64 | p347*p257-p247*p357+p237*p457, |
|---|
| 65 | p456*p257-p256*p457+p245*p567, |
|---|
| 66 | p356*p257-p256*p357+p235*p567, |
|---|
| 67 | p346*p257-p246*p357+p236*p457+p234*p567, |
|---|
| 68 | p345*p257-p245*p357+p235*p457, |
|---|
| 69 | p347*p157-p147*p357+p137*p457, |
|---|
| 70 | p247*p157-p147*p257+p127*p457, |
|---|
| 71 | p237*p157-p137*p257+p127*p357, |
|---|
| 72 | p456*p157-p156*p457+p145*p567, |
|---|
| 73 | p356*p157-p156*p357+p135*p567, |
|---|
| 74 | p256*p157-p156*p257+p125*p567, |
|---|
| 75 | p346*p157-p146*p357+p136*p457+p134*p567, |
|---|
| 76 | p246*p157-p146*p257+p126*p457+p124*p567, |
|---|
| 77 | p236*p157-p136*p257+p126*p357+p123*p567, |
|---|
| 78 | p345*p157-p145*p357+p135*p457, |
|---|
| 79 | p245*p157-p145*p257+p125*p457, |
|---|
| 80 | p235*p157-p135*p257+p125*p357, |
|---|
| 81 | p234*p157-p134*p257+p124*p357-p123*p457, |
|---|
| 82 | p347*p057-p047*p357+p037*p457, |
|---|
| 83 | p247*p057-p047*p257+p027*p457, |
|---|
| 84 | p147*p057-p047*p157+p017*p457, |
|---|
| 85 | p237*p057-p037*p257+p027*p357, |
|---|
| 86 | p137*p057-p037*p157+p017*p357, |
|---|
| 87 | p127*p057-p027*p157+p017*p257, |
|---|
| 88 | p456*p057-p056*p457+p045*p567, |
|---|
| 89 | p356*p057-p056*p357+p035*p567, |
|---|
| 90 | p256*p057-p056*p257+p025*p567, |
|---|
| 91 | p156*p057-p056*p157+p015*p567, |
|---|
| 92 | p346*p057-p046*p357+p036*p457+p034*p567, |
|---|
| 93 | p246*p057-p046*p257+p026*p457+p024*p567, |
|---|
| 94 | p146*p057-p046*p157+p016*p457+p014*p567, |
|---|
| 95 | p236*p057-p036*p257+p026*p357+p023*p567, |
|---|
| 96 | p136*p057-p036*p157+p016*p357+p013*p567, |
|---|
| 97 | p126*p057-p026*p157+p016*p257+p012*p567, |
|---|
| 98 | p345*p057-p045*p357+p035*p457, |
|---|
| 99 | p245*p057-p045*p257+p025*p457, |
|---|
| 100 | p145*p057-p045*p157+p015*p457, |
|---|
| 101 | p235*p057-p035*p257+p025*p357, |
|---|
| 102 | p135*p057-p035*p157+p015*p357, |
|---|
| 103 | p125*p057-p025*p157+p015*p257, |
|---|
| 104 | p234*p057-p034*p257+p024*p357-p023*p457, |
|---|
| 105 | p134*p057-p034*p157+p014*p357-p013*p457, |
|---|
| 106 | p124*p057-p024*p157+p014*p257-p012*p457, |
|---|
| 107 | p123*p057-p023*p157+p013*p257-p012*p357, |
|---|
| 108 | p456*p347-p346*p457+p345*p467, |
|---|
| 109 | p356*p347-p346*p357+p345*p367, |
|---|
| 110 | p256*p347-p246*p357+p236*p457+p245*p367-p235*p467+p234*p567, |
|---|
| 111 | p156*p347-p146*p357+p136*p457+p145*p367-p135*p467+p134*p567, |
|---|
| 112 | p056*p347-p046*p357+p036*p457+p045*p367-p035*p467+p034*p567, |
|---|
| 113 | p456*p247-p246*p457+p245*p467, |
|---|
| 114 | p356*p247-p246*p357+p245*p367+p234*p567, |
|---|
| 115 | p256*p247-p246*p257+p245*p267, |
|---|
| 116 | p156*p247-p146*p257+p126*p457+p145*p267-p125*p467+p124*p567, |
|---|
| 117 | p056*p247-p046*p257+p026*p457+p045*p267-p025*p467+p024*p567, |
|---|
| 118 | p346*p247-p246*p347+p234*p467, |
|---|
| 119 | p345*p247-p245*p347+p234*p457, |
|---|
| 120 | p237*p147-p137*p247+p127*p347, |
|---|
| 121 | p456*p147-p146*p457+p145*p467, |
|---|
| 122 | p356*p147-p146*p357+p145*p367+p134*p567, |
|---|
| 123 | p256*p147-p146*p257+p145*p267+p124*p567, |
|---|
| 124 | p156*p147-p146*p157+p145*p167, |
|---|
| 125 | p056*p147-p046*p157+p016*p457+p045*p167-p015*p467+p014*p567, |
|---|
| 126 | p346*p147-p146*p347+p134*p467, |
|---|
| 127 | p246*p147-p146*p247+p124*p467, |
|---|
| 128 | p236*p147-p136*p247+p126*p347+p123*p467, |
|---|
| 129 | p345*p147-p145*p347+p134*p457, |
|---|
| 130 | p245*p147-p145*p247+p124*p457, |
|---|
| 131 | p235*p147-p135*p247+p125*p347+p123*p457, |
|---|
| 132 | p234*p147-p134*p247+p124*p347, |
|---|
| 133 | p237*p047-p037*p247+p027*p347, |
|---|
| 134 | p137*p047-p037*p147+p017*p347, |
|---|
| 135 | p127*p047-p027*p147+p017*p247, |
|---|
| 136 | p456*p047-p046*p457+p045*p467, |
|---|
| 137 | p356*p047-p046*p357+p045*p367+p034*p567, |
|---|
| 138 | p256*p047-p046*p257+p045*p267+p024*p567, |
|---|
| 139 | p156*p047-p046*p157+p045*p167+p014*p567, |
|---|
| 140 | p056*p047-p046*p057+p045*p067, |
|---|
| 141 | p346*p047-p046*p347+p034*p467, |
|---|
| 142 | p246*p047-p046*p247+p024*p467, |
|---|
| 143 | p146*p047-p046*p147+p014*p467, |
|---|
| 144 | p236*p047-p036*p247+p026*p347+p023*p467, |
|---|
| 145 | p136*p047-p036*p147+p016*p347+p013*p467, |
|---|
| 146 | p126*p047-p026*p147+p016*p247+p012*p467, |
|---|
| 147 | p345*p047-p045*p347+p034*p457, |
|---|
| 148 | p245*p047-p045*p247+p024*p457, |
|---|
| 149 | p145*p047-p045*p147+p014*p457, |
|---|
| 150 | p235*p047-p035*p247+p025*p347+p023*p457, |
|---|
| 151 | p135*p047-p035*p147+p015*p347+p013*p457, |
|---|
| 152 | p125*p047-p025*p147+p015*p247+p012*p457, |
|---|
| 153 | p234*p047-p034*p247+p024*p347, |
|---|
| 154 | p134*p047-p034*p147+p014*p347, |
|---|
| 155 | p124*p047-p024*p147+p014*p247, |
|---|
| 156 | p123*p047-p023*p147+p013*p247-p012*p347, |
|---|
| 157 | p456*p237-p236*p457+p235*p467-p234*p567, |
|---|
| 158 | p356*p237-p236*p357+p235*p367, |
|---|
| 159 | p256*p237-p236*p257+p235*p267, |
|---|
| 160 | p156*p237-p136*p257+p126*p357+p135*p267-p125*p367+p123*p567, |
|---|
| 161 | p056*p237-p036*p257+p026*p357+p035*p267-p025*p367+p023*p567, |
|---|
| 162 | p346*p237-p236*p347+p234*p367, |
|---|
| 163 | p246*p237-p236*p247+p234*p267, |
|---|
| 164 | p146*p237-p136*p247+p126*p347+p134*p267-p124*p367+p123*p467, |
|---|
| 165 | p046*p237-p036*p247+p026*p347+p034*p267-p024*p367+p023*p467, |
|---|
| 166 | p345*p237-p235*p347+p234*p357, |
|---|
| 167 | p245*p237-p235*p247+p234*p257, |
|---|
| 168 | p145*p237-p135*p247+p125*p347+p134*p257-p124*p357+p123*p457, |
|---|
| 169 | p045*p237-p035*p247+p025*p347+p034*p257-p024*p357+p023*p457, |
|---|
| 170 | p456*p137-p136*p457+p135*p467-p134*p567, |
|---|
| 171 | p356*p137-p136*p357+p135*p367, |
|---|
| 172 | p256*p137-p136*p257+p135*p267+p123*p567, |
|---|
| 173 | p156*p137-p136*p157+p135*p167, |
|---|
| 174 | p056*p137-p036*p157+p016*p357+p035*p167-p015*p367+p013*p567, |
|---|
| 175 | p346*p137-p136*p347+p134*p367, |
|---|
| 176 | p246*p137-p136*p247+p134*p267+p123*p467, |
|---|
| 177 | p146*p137-p136*p147+p134*p167, |
|---|
| 178 | p046*p137-p036*p147+p016*p347+p034*p167-p014*p367+p013*p467, |
|---|
| 179 | p236*p137-p136*p237+p123*p367, |
|---|
| 180 | p345*p137-p135*p347+p134*p357, |
|---|
| 181 | p245*p137-p135*p247+p134*p257+p123*p457, |
|---|
| 182 | p145*p137-p135*p147+p134*p157, |
|---|
| 183 | p045*p137-p035*p147+p015*p347+p034*p157-p014*p357+p013*p457, |
|---|
| 184 | p235*p137-p135*p237+p123*p357, |
|---|
| 185 | p234*p137-p134*p237+p123*p347, |
|---|
| 186 | p127*p037-p027*p137+p017*p237, |
|---|
| 187 | p456*p037-p036*p457+p035*p467-p034*p567, |
|---|
| 188 | p356*p037-p036*p357+p035*p367, |
|---|
| 189 | p256*p037-p036*p257+p035*p267+p023*p567, |
|---|
| 190 | p156*p037-p036*p157+p035*p167+p013*p567, |
|---|
| 191 | p056*p037-p036*p057+p035*p067, |
|---|
| 192 | p346*p037-p036*p347+p034*p367, |
|---|
| 193 | p246*p037-p036*p247+p034*p267+p023*p467, |
|---|
| 194 | p146*p037-p036*p147+p034*p167+p013*p467, |
|---|
| 195 | p046*p037-p036*p047+p034*p067, |
|---|
| 196 | p236*p037-p036*p237+p023*p367, |
|---|
| 197 | p136*p037-p036*p137+p013*p367, |
|---|
| 198 | p126*p037-p026*p137+p016*p237+p012*p367, |
|---|
| 199 | p345*p037-p035*p347+p034*p357, |
|---|
| 200 | p245*p037-p035*p247+p034*p257+p023*p457, |
|---|
| 201 | p145*p037-p035*p147+p034*p157+p013*p457, |
|---|
| 202 | p045*p037-p035*p047+p034*p057, |
|---|
| 203 | p235*p037-p035*p237+p023*p357, |
|---|
| 204 | p135*p037-p035*p137+p013*p357, |
|---|
| 205 | p125*p037-p025*p137+p015*p237+p012*p357, |
|---|
| 206 | p234*p037-p034*p237+p023*p347, |
|---|
| 207 | p134*p037-p034*p137+p013*p347, |
|---|
| 208 | p124*p037-p024*p137+p014*p237+p012*p347, |
|---|
| 209 | p123*p037-p023*p137+p013*p237, |
|---|
| 210 | p456*p127-p126*p457+p125*p467-p124*p567, |
|---|
| 211 | p356*p127-p126*p357+p125*p367-p123*p567, |
|---|
| 212 | p256*p127-p126*p257+p125*p267, |
|---|
| 213 | p156*p127-p126*p157+p125*p167, |
|---|
| 214 | p056*p127-p026*p157+p016*p257+p025*p167-p015*p267+p012*p567, |
|---|
| 215 | p346*p127-p126*p347+p124*p367-p123*p467, |
|---|
| 216 | p246*p127-p126*p247+p124*p267, |
|---|
| 217 | p146*p127-p126*p147+p124*p167, |
|---|
| 218 | p046*p127-p026*p147+p016*p247+p024*p167-p014*p267+p012*p467, |
|---|
| 219 | p236*p127-p126*p237+p123*p267, |
|---|
| 220 | p136*p127-p126*p137+p123*p167, |
|---|
| 221 | p036*p127-p026*p137+p016*p237+p023*p167-p013*p267+p012*p367, |
|---|
| 222 | p345*p127-p125*p347+p124*p357-p123*p457, |
|---|
| 223 | p245*p127-p125*p247+p124*p257, |
|---|
| 224 | p145*p127-p125*p147+p124*p157, |
|---|
| 225 | p045*p127-p025*p147+p015*p247+p024*p157-p014*p257+p012*p457, |
|---|
| 226 | p235*p127-p125*p237+p123*p257, |
|---|
| 227 | p135*p127-p125*p137+p123*p157, |
|---|
| 228 | p035*p127-p025*p137+p015*p237+p023*p157-p013*p257+p012*p357, |
|---|
| 229 | p234*p127-p124*p237+p123*p247, |
|---|
| 230 | p134*p127-p124*p137+p123*p147, |
|---|
| 231 | p034*p127-p024*p137+p014*p237+p023*p147-p013*p247+p012*p347, |
|---|
| 232 | p456*p027-p026*p457+p025*p467-p024*p567, |
|---|
| 233 | p356*p027-p026*p357+p025*p367-p023*p567, |
|---|
| 234 | p256*p027-p026*p257+p025*p267, |
|---|
| 235 | p156*p027-p026*p157+p025*p167+p012*p567, |
|---|
| 236 | p056*p027-p026*p057+p025*p067, |
|---|
| 237 | p346*p027-p026*p347+p024*p367-p023*p467, |
|---|
| 238 | p246*p027-p026*p247+p024*p267, |
|---|
| 239 | p146*p027-p026*p147+p024*p167+p012*p467, |
|---|
| 240 | p046*p027-p026*p047+p024*p067, |
|---|
| 241 | p236*p027-p026*p237+p023*p267, |
|---|
| 242 | p136*p027-p026*p137+p023*p167+p012*p367, |
|---|
| 243 | p036*p027-p026*p037+p023*p067, |
|---|
| 244 | p126*p027-p026*p127+p012*p267, |
|---|
| 245 | p345*p027-p025*p347+p024*p357-p023*p457, |
|---|
| 246 | p245*p027-p025*p247+p024*p257, |
|---|
| 247 | p145*p027-p025*p147+p024*p157+p012*p457, |
|---|
| 248 | p045*p027-p025*p047+p024*p057, |
|---|
| 249 | p235*p027-p025*p237+p023*p257, |
|---|
| 250 | p135*p027-p025*p137+p023*p157+p012*p357, |
|---|
| 251 | p035*p027-p025*p037+p023*p057, |
|---|
| 252 | p125*p027-p025*p127+p012*p257, |
|---|
| 253 | p234*p027-p024*p237+p023*p247, |
|---|
| 254 | p134*p027-p024*p137+p023*p147+p012*p347, |
|---|
| 255 | p034*p027-p024*p037+p023*p047, |
|---|
| 256 | p124*p027-p024*p127+p012*p247, |
|---|
| 257 | p123*p027-p023*p127+p012*p237, |
|---|
| 258 | p456*p017-p016*p457+p015*p467-p014*p567, |
|---|
| 259 | p356*p017-p016*p357+p015*p367-p013*p567, |
|---|
| 260 | p256*p017-p016*p257+p015*p267-p012*p567, |
|---|
| 261 | p156*p017-p016*p157+p015*p167, |
|---|
| 262 | p056*p017-p016*p057+p015*p067, |
|---|
| 263 | p346*p017-p016*p347+p014*p367-p013*p467, |
|---|
| 264 | p246*p017-p016*p247+p014*p267-p012*p467, |
|---|
| 265 | p146*p017-p016*p147+p014*p167, |
|---|
| 266 | p046*p017-p016*p047+p014*p067, |
|---|
| 267 | p236*p017-p016*p237+p013*p267-p012*p367, |
|---|
| 268 | p136*p017-p016*p137+p013*p167, |
|---|
| 269 | p036*p017-p016*p037+p013*p067, |
|---|
| 270 | p126*p017-p016*p127+p012*p167, |
|---|
| 271 | p026*p017-p016*p027+p012*p067, |
|---|
| 272 | p345*p017-p015*p347+p014*p357-p013*p457, |
|---|
| 273 | p245*p017-p015*p247+p014*p257-p012*p457, |
|---|
| 274 | p145*p017-p015*p147+p014*p157, |
|---|
| 275 | p045*p017-p015*p047+p014*p057, |
|---|
| 276 | p235*p017-p015*p237+p013*p257-p012*p357, |
|---|
| 277 | p135*p017-p015*p137+p013*p157, |
|---|
| 278 | p035*p017-p015*p037+p013*p057, |
|---|
| 279 | p125*p017-p015*p127+p012*p157, |
|---|
| 280 | p025*p017-p015*p027+p012*p057, |
|---|
| 281 | p234*p017-p014*p237+p013*p247-p012*p347, |
|---|
| 282 | p134*p017-p014*p137+p013*p147, |
|---|
| 283 | p034*p017-p014*p037+p013*p047, |
|---|
| 284 | p124*p017-p014*p127+p012*p147, |
|---|
| 285 | p024*p017-p014*p027+p012*p047, |
|---|
| 286 | p123*p017-p013*p127+p012*p137, |
|---|
| 287 | p023*p017-p013*p027+p012*p037, |
|---|
| 288 | p346*p256-p246*p356+p236*p456, |
|---|
| 289 | p345*p256-p245*p356+p235*p456, |
|---|
| 290 | p346*p156-p146*p356+p136*p456, |
|---|
| 291 | p246*p156-p146*p256+p126*p456, |
|---|
| 292 | p236*p156-p136*p256+p126*p356, |
|---|
| 293 | p345*p156-p145*p356+p135*p456, |
|---|
| 294 | p245*p156-p145*p256+p125*p456, |
|---|
| 295 | p235*p156-p135*p256+p125*p356, |
|---|
| 296 | p234*p156-p134*p256+p124*p356-p123*p456, |
|---|
| 297 | p346*p056-p046*p356+p036*p456, |
|---|
| 298 | p246*p056-p046*p256+p026*p456, |
|---|
| 299 | p146*p056-p046*p156+p016*p456, |
|---|
| 300 | p236*p056-p036*p256+p026*p356, |
|---|
| 301 | p136*p056-p036*p156+p016*p356, |
|---|
| 302 | p126*p056-p026*p156+p016*p256, |
|---|
| 303 | p345*p056-p045*p356+p035*p456, |
|---|
| 304 | p245*p056-p045*p256+p025*p456, |
|---|
| 305 | p145*p056-p045*p156+p015*p456, |
|---|
| 306 | p235*p056-p035*p256+p025*p356, |
|---|
| 307 | p135*p056-p035*p156+p015*p356, |
|---|
| 308 | p125*p056-p025*p156+p015*p256, |
|---|
| 309 | p234*p056-p034*p256+p024*p356-p023*p456, |
|---|
| 310 | p134*p056-p034*p156+p014*p356-p013*p456, |
|---|
| 311 | p124*p056-p024*p156+p014*p256-p012*p456, |
|---|
| 312 | p123*p056-p023*p156+p013*p256-p012*p356, |
|---|
| 313 | p345*p246-p245*p346+p234*p456, |
|---|
| 314 | p236*p146-p136*p246+p126*p346, |
|---|
| 315 | p345*p146-p145*p346+p134*p456, |
|---|
| 316 | p245*p146-p145*p246+p124*p456, |
|---|
| 317 | p235*p146-p135*p246+p125*p346+p123*p456, |
|---|
| 318 | p234*p146-p134*p246+p124*p346, |
|---|
| 319 | p236*p046-p036*p246+p026*p346, |
|---|
| 320 | p136*p046-p036*p146+p016*p346, |
|---|
| 321 | p126*p046-p026*p146+p016*p246, |
|---|
| 322 | p345*p046-p045*p346+p034*p456, |
|---|
| 323 | p245*p046-p045*p246+p024*p456, |
|---|
| 324 | p145*p046-p045*p146+p014*p456, |
|---|
| 325 | p235*p046-p035*p246+p025*p346+p023*p456, |
|---|
| 326 | p135*p046-p035*p146+p015*p346+p013*p456, |
|---|
| 327 | p125*p046-p025*p146+p015*p246+p012*p456, |
|---|
| 328 | p234*p046-p034*p246+p024*p346, |
|---|
| 329 | p134*p046-p034*p146+p014*p346, |
|---|
| 330 | p124*p046-p024*p146+p014*p246, |
|---|
| 331 | p123*p046-p023*p146+p013*p246-p012*p346, |
|---|
| 332 | p345*p236-p235*p346+p234*p356, |
|---|
| 333 | p245*p236-p235*p246+p234*p256, |
|---|
| 334 | p145*p236-p135*p246+p125*p346+p134*p256-p124*p356+p123*p456, |
|---|
| 335 | p045*p236-p035*p246+p025*p346+p034*p256-p024*p356+p023*p456, |
|---|
| 336 | p345*p136-p135*p346+p134*p356, |
|---|
| 337 | p245*p136-p135*p246+p134*p256+p123*p456, |
|---|
| 338 | p145*p136-p135*p146+p134*p156, |
|---|
| 339 | p045*p136-p035*p146+p015*p346+p034*p156-p014*p356+p013*p456, |
|---|
| 340 | p235*p136-p135*p236+p123*p356, |
|---|
| 341 | p234*p136-p134*p236+p123*p346, |
|---|
| 342 | p126*p036-p026*p136+p016*p236, |
|---|
| 343 | p345*p036-p035*p346+p034*p356, |
|---|
| 344 | p245*p036-p035*p246+p034*p256+p023*p456, |
|---|
| 345 | p145*p036-p035*p146+p034*p156+p013*p456, |
|---|
| 346 | p045*p036-p035*p046+p034*p056, |
|---|
| 347 | p235*p036-p035*p236+p023*p356, |
|---|
| 348 | p135*p036-p035*p136+p013*p356, |
|---|
| 349 | p125*p036-p025*p136+p015*p236+p012*p356, |
|---|
| 350 | p234*p036-p034*p236+p023*p346, |
|---|
| 351 | p134*p036-p034*p136+p013*p346, |
|---|
| 352 | p124*p036-p024*p136+p014*p236+p012*p346, |
|---|
| 353 | p123*p036-p023*p136+p013*p236, |
|---|
| 354 | p345*p126-p125*p346+p124*p356-p123*p456, |
|---|
| 355 | p245*p126-p125*p246+p124*p256, |
|---|
| 356 | p145*p126-p125*p146+p124*p156, |
|---|
| 357 | p045*p126-p025*p146+p015*p246+p024*p156-p014*p256+p012*p456, |
|---|
| 358 | p235*p126-p125*p236+p123*p256, |
|---|
| 359 | p135*p126-p125*p136+p123*p156, |
|---|
| 360 | p035*p126-p025*p136+p015*p236+p023*p156-p013*p256+p012*p356, |
|---|
| 361 | p234*p126-p124*p236+p123*p246, |
|---|
| 362 | p134*p126-p124*p136+p123*p146, |
|---|
| 363 | p034*p126-p024*p136+p014*p236+p023*p146-p013*p246+p012*p346, |
|---|
| 364 | p345*p026-p025*p346+p024*p356-p023*p456, |
|---|
| 365 | p245*p026-p025*p246+p024*p256, |
|---|
| 366 | p145*p026-p025*p146+p024*p156+p012*p456, |
|---|
| 367 | p045*p026-p025*p046+p024*p056, |
|---|
| 368 | p235*p026-p025*p236+p023*p256, |
|---|
| 369 | p135*p026-p025*p136+p023*p156+p012*p356, |
|---|
| 370 | p035*p026-p025*p036+p023*p056, |
|---|
| 371 | p125*p026-p025*p126+p012*p256, |
|---|
| 372 | p234*p026-p024*p236+p023*p246, |
|---|
| 373 | p134*p026-p024*p136+p023*p146+p012*p346, |
|---|
| 374 | p034*p026-p024*p036+p023*p046, |
|---|
| 375 | p124*p026-p024*p126+p012*p246, |
|---|
| 376 | p123*p026-p023*p126+p012*p236, |
|---|
| 377 | p345*p016-p015*p346+p014*p356-p013*p456, |
|---|
| 378 | p245*p016-p015*p246+p014*p256-p012*p456, |
|---|
| 379 | p145*p016-p015*p146+p014*p156, |
|---|
| 380 | p045*p016-p015*p046+p014*p056, |
|---|
| 381 | p235*p016-p015*p236+p013*p256-p012*p356, |
|---|
| 382 | p135*p016-p015*p136+p013*p156, |
|---|
| 383 | p035*p016-p015*p036+p013*p056, |
|---|
| 384 | p125*p016-p015*p126+p012*p156, |
|---|
| 385 | p025*p016-p015*p026+p012*p056, |
|---|
| 386 | p234*p016-p014*p236+p013*p246-p012*p346, |
|---|
| 387 | p134*p016-p014*p136+p013*p146, |
|---|
| 388 | p034*p016-p014*p036+p013*p046, |
|---|
| 389 | p124*p016-p014*p126+p012*p146, |
|---|
| 390 | p024*p016-p014*p026+p012*p046, |
|---|
| 391 | p123*p016-p013*p126+p012*p136, |
|---|
| 392 | p023*p016-p013*p026+p012*p036, |
|---|
| 393 | p235*p145-p135*p245+p125*p345, |
|---|
| 394 | p234*p145-p134*p245+p124*p345, |
|---|
| 395 | p235*p045-p035*p245+p025*p345, |
|---|
| 396 | p135*p045-p035*p145+p015*p345, |
|---|
| 397 | p125*p045-p025*p145+p015*p245, |
|---|
| 398 | p234*p045-p034*p245+p024*p345, |
|---|
| 399 | p134*p045-p034*p145+p014*p345, |
|---|
| 400 | p124*p045-p024*p145+p014*p245, |
|---|
| 401 | p123*p045-p023*p145+p013*p245-p012*p345, |
|---|
| 402 | p234*p135-p134*p235+p123*p345, |
|---|
| 403 | p125*p035-p025*p135+p015*p235, |
|---|
| 404 | p234*p035-p034*p235+p023*p345, |
|---|
| 405 | p134*p035-p034*p135+p013*p345, |
|---|
| 406 | p124*p035-p024*p135+p014*p235+p012*p345, |
|---|
| 407 | p123*p035-p023*p135+p013*p235, |
|---|
| 408 | p234*p125-p124*p235+p123*p245, |
|---|
| 409 | p134*p125-p124*p135+p123*p145, |
|---|
| 410 | p034*p125-p024*p135+p014*p235+p023*p145-p013*p245+p012*p345, |
|---|
| 411 | p234*p025-p024*p235+p023*p245, |
|---|
| 412 | p134*p025-p024*p135+p023*p145+p012*p345, |
|---|
| 413 | p034*p025-p024*p035+p023*p045, |
|---|
| 414 | p124*p025-p024*p125+p012*p245, |
|---|
| 415 | p123*p025-p023*p125+p012*p235, |
|---|
| 416 | p234*p015-p014*p235+p013*p245-p012*p345, |
|---|
| 417 | p134*p015-p014*p135+p013*p145, |
|---|
| 418 | p034*p015-p014*p035+p013*p045, |
|---|
| 419 | p124*p015-p014*p125+p012*p145, |
|---|
| 420 | p024*p015-p014*p025+p012*p045, |
|---|
| 421 | p123*p015-p013*p125+p012*p135, |
|---|
| 422 | p023*p015-p013*p025+p012*p035, |
|---|
| 423 | p124*p034-p024*p134+p014*p234, |
|---|
| 424 | p123*p034-p023*p134+p013*p234, |
|---|
| 425 | p123*p024-p023*p124+p012*p234, |
|---|
| 426 | p123*p014-p013*p124+p012*p134, |
|---|
| 427 | p023*p014-p013*p024+p012*p034; |
|---|
| 428 | |
|---|
| 429 | int radius = 1; |
|---|
| 430 | int perturb_deg = 2; |
|---|
| 431 | ideal stdI = rwalk(I,radius,perturb_deg); |
|---|
| 432 | reduce(I,stdI); |
|---|
| 433 | ideal stdstdI = std(stdI); |
|---|
