Initial release of BGap
[BGap.git] / auxiliary / HPL / HPLrules7.h
blob7844da73d9272128d8707978ab7efae755bc6faf
6 id HPL(0,0,0,0,0,0,1)= (
7 -zeta7
8 );
12 id HPL(0,0,0,0,0,1,0)= (
13 +6*zeta7
18 id HPL(0,0,0,0,0,1,1)= (
19 -2/5*zeta2^2*zeta3
20 -zeta2*zeta5
21 +3*zeta7
26 id HPL(0,0,0,0,1,0,0)= (
27 -15*zeta7
32 id HPL(0,0,0,0,1,0,1)= (
33 +4/5*zeta2^2*zeta3
34 +5*zeta2*zeta5
35 -11*zeta7
40 id HPL(0,0,0,0,1,1,0)= (
41 +6/5*zeta2^2*zeta3
42 -4*zeta7
47 id HPL(0,0,0,0,1,1,1)= (
48 +1/2*zeta2^2*zeta3
49 +2*zeta2*zeta5
50 -5*zeta7
55 id HPL(0,0,0,1,0,0,0)= (
56 +20*zeta7
61 id HPL(0,0,0,1,0,0,1)= (
62 -10*zeta2*zeta5
63 +17*zeta7
68 id HPL(0,0,0,1,0,1,0)= (
69 -16/5*zeta2^2*zeta3
70 +10*zeta7
75 id HPL(0,0,0,1,0,1,1)= (
76 -7/5*zeta2^2*zeta3
77 -11/2*zeta2*zeta5
78 +221/16*zeta7
83 id HPL(0,0,0,1,1,0,0)= (
84 -4/5*zeta2^2*zeta3
85 +3*zeta7
90 id HPL(0,0,0,1,1,0,1)= (
91 +3/2*zeta2^2*zeta3
92 -5/2*zeta2*zeta5
93 -5/8*zeta7
98 id HPL(0,0,0,1,1,1,0)= (
99 -21/10*zeta2^2*zeta3
100 +109/16*zeta7
105 id HPL(0,0,0,1,1,1,1)= (
106 -1/2*zeta2^2*zeta3
107 -2*zeta2*zeta5
108 +5*zeta7
113 id HPL(0,0,1,0,0,0,0)= (
114 -15*zeta7
119 id HPL(0,0,1,0,0,0,1)= (
120 +2/5*zeta2^2*zeta3
121 +10*zeta2*zeta5
122 -18*zeta7
127 id HPL(0,0,1,0,0,1,0)= (
128 -6/5*zeta2^2*zeta3
129 +3*zeta7
134 id HPL(0,0,1,0,0,1,1)= (
135 +9/2*zeta2*zeta5
136 -61/8*zeta7
141 id HPL(0,0,1,0,1,0,0)= (
142 +6*zeta2^2*zeta3
143 -18*zeta7
148 id HPL(0,0,1,0,1,0,1)= (
149 -9/10*zeta2^2*zeta3
150 +15/2*zeta2*zeta5
151 -157/16*zeta7
156 id HPL(0,0,1,0,1,1,0)= (
157 +51/10*zeta2^2*zeta3
158 -131/8*zeta7
163 id HPL(0,0,1,0,1,1,1)= (
164 +7/5*zeta2^2*zeta3
165 +11/2*zeta2*zeta5
166 -221/16*zeta7
171 id HPL(0,0,1,1,0,0,0)= (
172 -6/5*zeta2^2*zeta3
173 +3*zeta7
178 id HPL(0,0,1,1,0,0,1)= (
179 -1/10*zeta2^2*zeta3
180 +1/4*zeta7
185 id HPL(0,0,1,1,0,1,0)= (
186 -17/5*zeta2^2*zeta3
187 +179/16*zeta7
192 id HPL(0,0,1,1,0,1,1)= (
193 -9/2*zeta2*zeta5
194 +61/8*zeta7
199 id HPL(0,0,1,1,1,0,0)= (
200 +23/10*zeta2^2*zeta3
201 -61/8*zeta7
206 id HPL(0,0,1,1,1,0,1)= (
207 -1/2*zeta2^2*zeta3
208 +5*zeta2*zeta5
209 -109/16*zeta7
214 id HPL(0,0,1,1,1,1,0)= (
215 +3/5*zeta2^2*zeta3
216 -2*zeta7
221 id HPL(0,0,1,1,1,1,1)= (
222 +2/5*zeta2^2*zeta3
223 +zeta2*zeta5
224 -3*zeta7
229 id HPL(0,1,0,0,0,0,0)= (
230 +6*zeta7
235 id HPL(0,1,0,0,0,0,1)= (
236 -4/5*zeta2^2*zeta3
237 -4*zeta2*zeta5
238 +10*zeta7
243 id HPL(0,1,0,0,0,1,0)= (
244 +12/5*zeta2^2*zeta3
245 -4*zeta2*zeta5
246 -4*zeta7
251 id HPL(0,1,0,0,0,1,1)= (
252 +1/2*zeta2^2*zeta3
253 -5*zeta2*zeta5
254 +109/16*zeta7
259 id HPL(0,1,0,0,1,0,0)= (
260 -12/5*zeta2^2*zeta3
261 +6*zeta2*zeta5
262 +3*zeta7
267 id HPL(0,1,0,0,1,0,1)= (
268 +11/2*zeta2*zeta5
269 -75/8*zeta7
274 id HPL(0,1,0,0,1,1,0)= (
275 -3/2*zeta2^2*zeta3
276 +1/2*zeta2*zeta5
277 +67/16*zeta7
282 id HPL(0,1,0,0,1,1,1)= (
283 -3/2*zeta2^2*zeta3
284 +5/2*zeta2*zeta5
285 +5/8*zeta7
290 id HPL(0,1,0,1,0,0,0)= (
291 -12/5*zeta2^2*zeta3
292 -4*zeta2*zeta5
293 +10*zeta7
298 id HPL(0,1,0,1,0,0,1)= (
299 +3/5*zeta2^2*zeta3
300 -12*zeta2*zeta5
301 +291/16*zeta7
306 id HPL(0,1,0,1,0,1,0)= (
307 +3/5*zeta2^2*zeta3
308 -2*zeta2*zeta5
309 +2*zeta7
314 id HPL(0,1,0,1,0,1,1)= (
315 +9/10*zeta2^2*zeta3
316 -15/2*zeta2*zeta5
317 +157/16*zeta7
322 id HPL(0,1,0,1,1,0,0)= (
323 -39/10*zeta2^2*zeta3
324 +1/2*zeta2*zeta5
325 +179/16*zeta7
330 id HPL(0,1,0,1,1,0,1)= (
331 -11/2*zeta2*zeta5
332 +75/8*zeta7
337 id HPL(0,1,0,1,1,1,0)= (
338 -7/10*zeta2^2*zeta3
339 -3*zeta2*zeta5
340 +115/16*zeta7
345 id HPL(0,1,0,1,1,1,1)= (
346 -4/5*zeta2^2*zeta3
347 -5*zeta2*zeta5
348 +11*zeta7
353 id HPL(0,1,1,0,0,0,0)= (
354 +6/5*zeta2^2*zeta3
355 +zeta2*zeta5
356 -4*zeta7
361 id HPL(0,1,1,0,0,0,1)= (
362 -7/10*zeta2^2*zeta3
363 +11/2*zeta2*zeta5
364 -61/8*zeta7
369 id HPL(0,1,1,0,0,1,0)= (
370 +17/10*zeta2^2*zeta3
371 -9/2*zeta2*zeta5
372 +67/16*zeta7
377 id HPL(0,1,1,0,0,1,1)= (
378 +1/10*zeta2^2*zeta3
379 -1/4*zeta7
384 id HPL(0,1,1,0,1,0,0)= (
385 +7/5*zeta2^2*zeta3
386 +11/2*zeta2*zeta5
387 -131/8*zeta7
392 id HPL(0,1,1,0,1,0,1)= (
393 -3/5*zeta2^2*zeta3
394 +12*zeta2*zeta5
395 -291/16*zeta7
400 id HPL(0,1,1,0,1,1,0)= (
401 -1/2*zeta2^2*zeta3
402 +9/2*zeta2*zeta5
403 -51/8*zeta7
408 id HPL(0,1,1,0,1,1,1)= (
409 +10*zeta2*zeta5
410 -17*zeta7
415 id HPL(0,1,1,1,0,0,0)= (
416 -7/10*zeta2^2*zeta3
417 -2*zeta2*zeta5
418 +109/16*zeta7
423 id HPL(0,1,1,1,0,0,1)= (
424 +7/10*zeta2^2*zeta3
425 -11/2*zeta2*zeta5
426 +61/8*zeta7
431 id HPL(0,1,1,1,0,1,0)= (
432 +1/5*zeta2^2*zeta3
433 -11/2*zeta2*zeta5
434 +115/16*zeta7
439 id HPL(0,1,1,1,0,1,1)= (
440 -2/5*zeta2^2*zeta3
441 -10*zeta2*zeta5
442 +18*zeta7
447 id HPL(0,1,1,1,1,0,0)= (
448 -1/10*zeta2^2*zeta3
449 +2*zeta2*zeta5
450 -2*zeta7
455 id HPL(0,1,1,1,1,0,1)= (
456 +4/5*zeta2^2*zeta3
457 +4*zeta2*zeta5
458 -10*zeta7
463 id HPL(0,1,1,1,1,1,0)= (
464 -2/5*zeta2^2*zeta3
465 -zeta2*zeta5
466 +4*zeta7
471 id HPL(0,1,1,1,1,1,1)= (
472 +zeta7
477 id HPL(1,0,0,0,0,0,0)= (
478 -zeta7
483 id HPL(1,0,0,0,0,0,1)= (
484 +2/5*zeta2^2*zeta3
485 +zeta2*zeta5
486 -4*zeta7
491 id HPL(1,0,0,0,0,1,0)= (
492 -6/5*zeta2^2*zeta3
493 -zeta2*zeta5
494 +10*zeta7
499 id HPL(1,0,0,0,0,1,1)= (
500 -3/5*zeta2^2*zeta3
501 +2*zeta7
506 id HPL(1,0,0,0,1,0,0)= (
507 +6/5*zeta2^2*zeta3
508 +4*zeta2*zeta5
509 -18*zeta7
514 id HPL(1,0,0,0,1,0,1)= (
515 +7/10*zeta2^2*zeta3
516 +3*zeta2*zeta5
517 -115/16*zeta7
522 id HPL(1,0,0,0,1,1,0)= (
523 +6/5*zeta2^2*zeta3
524 +2*zeta2*zeta5
525 -61/8*zeta7
530 id HPL(1,0,0,0,1,1,1)= (
531 +21/10*zeta2^2*zeta3
532 -109/16*zeta7
537 id HPL(1,0,0,1,0,0,0)= (
538 -2/5*zeta2^2*zeta3
539 -6*zeta2*zeta5
540 +17*zeta7
545 id HPL(1,0,0,1,0,0,1)= (
546 +1/2*zeta2^2*zeta3
547 -9/2*zeta2*zeta5
548 +51/8*zeta7
553 id HPL(1,0,0,1,0,1,0)= (
554 -31/10*zeta2^2*zeta3
555 -11/2*zeta2*zeta5
556 +291/16*zeta7
561 id HPL(1,0,0,1,0,1,1)= (
562 -51/10*zeta2^2*zeta3
563 +131/8*zeta7
568 id HPL(1,0,0,1,1,0,0)= (
569 +1/2*zeta2^2*zeta3
570 -1/2*zeta2*zeta5
571 +1/4*zeta7
576 id HPL(1,0,0,1,1,0,1)= (
577 +3/2*zeta2^2*zeta3
578 -1/2*zeta2*zeta5
579 -67/16*zeta7
584 id HPL(1,0,0,1,1,1,0)= (
585 -6/5*zeta2^2*zeta3
586 -2*zeta2*zeta5
587 +61/8*zeta7
592 id HPL(1,0,0,1,1,1,1)= (
593 -6/5*zeta2^2*zeta3
594 +4*zeta7
599 id HPL(1,0,1,0,0,0,0)= (
600 +4/5*zeta2^2*zeta3
601 +4*zeta2*zeta5
602 -11*zeta7
607 id HPL(1,0,1,0,0,0,1)= (
608 -1/5*zeta2^2*zeta3
609 +11/2*zeta2*zeta5
610 -115/16*zeta7
615 id HPL(1,0,1,0,0,1,0)= (
616 -zeta2^2*zeta3
617 +9/2*zeta2*zeta5
618 -75/8*zeta7
623 id HPL(1,0,1,0,0,1,1)= (
624 +17/5*zeta2^2*zeta3
625 -179/16*zeta7
630 id HPL(1,0,1,0,1,0,0)= (
631 +19/5*zeta2^2*zeta3
632 +2*zeta2*zeta5
633 -157/16*zeta7
638 id HPL(1,0,1,0,1,0,1)= (
639 -3/5*zeta2^2*zeta3
640 +2*zeta2*zeta5
641 -2*zeta7
646 id HPL(1,0,1,0,1,1,0)= (
647 +31/10*zeta2^2*zeta3
648 +11/2*zeta2*zeta5
649 -291/16*zeta7
654 id HPL(1,0,1,0,1,1,1)= (
655 +16/5*zeta2^2*zeta3
656 -10*zeta7
661 id HPL(1,0,1,1,0,0,0)= (
662 -3/10*zeta2^2*zeta3
663 -1/2*zeta2*zeta5
664 -5/8*zeta7
669 id HPL(1,0,1,1,0,0,1)= (
670 -17/10*zeta2^2*zeta3
671 +9/2*zeta2*zeta5
672 -67/16*zeta7
677 id HPL(1,0,1,1,0,1,0)= (
678 +zeta2^2*zeta3
679 -9/2*zeta2*zeta5
680 +75/8*zeta7
685 id HPL(1,0,1,1,0,1,1)= (
686 +6/5*zeta2^2*zeta3
687 -3*zeta7
692 id HPL(1,0,1,1,1,0,0)= (
693 -1/2*zeta2^2*zeta3
694 +3*zeta2*zeta5
695 -109/16*zeta7
700 id HPL(1,0,1,1,1,0,1)= (
701 -12/5*zeta2^2*zeta3
702 +4*zeta2*zeta5
703 +4*zeta7
708 id HPL(1,0,1,1,1,1,0)= (
709 +6/5*zeta2^2*zeta3
710 +zeta2*zeta5
711 -10*zeta7
716 id HPL(1,0,1,1,1,1,1)= (
717 -6*zeta7
722 id HPL(1,1,0,0,0,0,0)= (
723 -2/5*zeta2^2*zeta3
724 -zeta2*zeta5
725 +3*zeta7
730 id HPL(1,1,0,0,0,0,1)= (
731 +1/10*zeta2^2*zeta3
732 -2*zeta2*zeta5
733 +2*zeta7
738 id HPL(1,1,0,0,0,1,0)= (
739 +1/2*zeta2^2*zeta3
740 -3*zeta2*zeta5
741 +109/16*zeta7
746 id HPL(1,1,0,0,0,1,1)= (
747 -23/10*zeta2^2*zeta3
748 +61/8*zeta7
753 id HPL(1,1,0,0,1,0,0)= (
754 -11/10*zeta2^2*zeta3
755 +9/2*zeta2*zeta5
756 -61/8*zeta7
761 id HPL(1,1,0,0,1,0,1)= (
762 +39/10*zeta2^2*zeta3
763 -1/2*zeta2*zeta5
764 -179/16*zeta7
769 id HPL(1,1,0,0,1,1,0)= (
770 -1/2*zeta2^2*zeta3
771 +1/2*zeta2*zeta5
772 -1/4*zeta7
777 id HPL(1,1,0,0,1,1,1)= (
778 +4/5*zeta2^2*zeta3
779 -3*zeta7
784 id HPL(1,1,0,1,0,0,0)= (
785 -zeta2^2*zeta3
786 -11/2*zeta2*zeta5
787 +221/16*zeta7
792 id HPL(1,1,0,1,0,0,1)= (
793 -7/5*zeta2^2*zeta3
794 -11/2*zeta2*zeta5
795 +131/8*zeta7
800 id HPL(1,1,0,1,0,1,0)= (
801 -19/5*zeta2^2*zeta3
802 -2*zeta2*zeta5
803 +157/16*zeta7
808 id HPL(1,1,0,1,0,1,1)= (
809 -6*zeta2^2*zeta3
810 +18*zeta7
815 id HPL(1,1,0,1,1,0,0)= (
816 +11/10*zeta2^2*zeta3
817 -9/2*zeta2*zeta5
818 +61/8*zeta7
823 id HPL(1,1,0,1,1,0,1)= (
824 +12/5*zeta2^2*zeta3
825 -6*zeta2*zeta5
826 -3*zeta7
831 id HPL(1,1,0,1,1,1,0)= (
832 -6/5*zeta2^2*zeta3
833 -4*zeta2*zeta5
834 +18*zeta7
839 id HPL(1,1,0,1,1,1,1)= (
840 +15*zeta7
845 id HPL(1,1,1,0,0,0,0)= (
846 +1/2*zeta2^2*zeta3
847 +2*zeta2*zeta5
848 -5*zeta7
853 id HPL(1,1,1,0,0,0,1)= (
854 +7/10*zeta2^2*zeta3
855 +2*zeta2*zeta5
856 -109/16*zeta7
861 id HPL(1,1,1,0,0,1,0)= (
862 +3/10*zeta2^2*zeta3
863 +1/2*zeta2*zeta5
864 +5/8*zeta7
869 id HPL(1,1,1,0,0,1,1)= (
870 +6/5*zeta2^2*zeta3
871 -3*zeta7
876 id HPL(1,1,1,0,1,0,0)= (
877 +zeta2^2*zeta3
878 +11/2*zeta2*zeta5
879 -221/16*zeta7
884 id HPL(1,1,1,0,1,0,1)= (
885 +12/5*zeta2^2*zeta3
886 +4*zeta2*zeta5
887 -10*zeta7
892 id HPL(1,1,1,0,1,1,0)= (
893 +2/5*zeta2^2*zeta3
894 +6*zeta2*zeta5
895 -17*zeta7
900 id HPL(1,1,1,0,1,1,1)= (
901 -20*zeta7
906 id HPL(1,1,1,1,0,0,0)= (
907 -1/2*zeta2^2*zeta3
908 -2*zeta2*zeta5
909 +5*zeta7
914 id HPL(1,1,1,1,0,0,1)= (
915 -6/5*zeta2^2*zeta3
916 -zeta2*zeta5
917 +4*zeta7
922 id HPL(1,1,1,1,0,1,0)= (
923 -4/5*zeta2^2*zeta3
924 -4*zeta2*zeta5
925 +11*zeta7
930 id HPL(1,1,1,1,0,1,1)= (
931 +15*zeta7
936 id HPL(1,1,1,1,1,0,0)= (
937 +2/5*zeta2^2*zeta3
938 +zeta2*zeta5
939 -3*zeta7
944 id HPL(1,1,1,1,1,0,1)= (
945 -6*zeta7
950 id HPL(1,1,1,1,1,1,0)= (
951 +zeta7