Last change
on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago |
First import of a version circa 1997.
|
File size:
816 bytes
|
Line | |
---|
1 | ;; Galois group calculation
|
---|
2 | (setf Vars '(u12 u13 u23 p q r x1 x2 x3))
|
---|
3 |
|
---|
4 | (setf
|
---|
5 | f12 "1-u12*x1+u12*x2"
|
---|
6 | f13 "1-u13*x1+u13*x3"
|
---|
7 | f23 "1-u23*x2+u23*x3"
|
---|
8 | a "x1^3+p*x1^2+q*x1+r"
|
---|
9 | b "x2^3+p*x2^2+q*x2+r"
|
---|
10 | c "x3^3+p*x3^2+q*x3+r"
|
---|
11 | rel1 "p^2-q"
|
---|
12 | rel2 "0"
|
---|
13 | rel3 "0"
|
---|
14 | )
|
---|
15 |
|
---|
16 | (setf n 6) ;number of vars to eliminate
|
---|
17 | (setf primary-order #'lex>)
|
---|
18 | (setf secondary-order #'lex>)
|
---|
19 |
|
---|
20 | (setf order (elimination-order
|
---|
21 | n
|
---|
22 | :primary-order primary-order
|
---|
23 | :secondary-order secondary-order))
|
---|
24 |
|
---|
25 | (setf F (remove nil (mapcar #'(lambda (s) (parse-string-to-sorted-alist s vars order))
|
---|
26 | (list f12 f13 f23 a b c rel1 rel2 rel3))))
|
---|
27 |
|
---|
28 | (poly-print (cons '[ f) vars)
|
---|
29 | (terpri)
|
---|
30 | ;Gb:=gbasis(F,Vars,plex);
|
---|
31 | (setf gb (elimination-ideal F n :order order :top-reduction-only nil))
|
---|
32 | (poly-print (cons '[ gb) vars)
|
---|
Note:
See
TracBrowser
for help on using the repository browser.