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:
323 bytes
|
Line | |
---|
1 |
|
---|
2 | ;; This is supposed to prove that the 3 bisectors of a triangle
|
---|
3 | ;; intersect at a single point
|
---|
4 | (string-grobner-system
|
---|
5 | "[U1*Y-V1*X,-X2*Y+U2*Y+V2*X2-V2*X,X*Y3-U3*Y3-X3*Y+U3*Y+V3*X3-V3*X,-X3-X2+2*U1,2*V1-Y3,2*U2-X3,2*V2-Y3,2*U3-X2,2*V3]"
|
---|
6 | '(x y u1 v1 u2 v2 u3 v3)
|
---|
7 | '(x2 x3 y3)
|
---|
8 | :main-order #'grlex>
|
---|
9 | :parameter-order #'grlex>)
|
---|
10 |
|
---|
11 |
|
---|
Note:
See
TracBrowser
for help on using the repository browser.