Created
January 5, 2024 15:20
-
-
Save Observatorio-de-Matematica/92e32329235e0dc3d93b69a77c80b288 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* [wxMaxima batch file version 1] [ DO NOT EDIT BY HAND! ]*/ | |
/* [ Created with wxMaxima version 0.8.6 ] */ | |
/* [wxMaxima: input start ] */ | |
load(grobner); | |
/* [wxMaxima: input end ] */ | |
/* [wxMaxima: comment start ] | |
El orden de las indeterminadas influye a la hora de calcular la base de Groebner | |
[wxMaxima: comment end ] */ | |
/* [wxMaxima: input start ] */ | |
poly_reduced_grobner([X^2-Y*Z-3,Y^2-X*Z-4,Z^2-X*Y-5],[X,Y,Z]); | |
/* [wxMaxima: input end ] */ | |
/* [wxMaxima: input start ] */ | |
poly_reduced_grobner([X^2-Y*Z-3,Y^2-X*Z-4,Z^2-X*Y-5],[Z,X,Y]); | |
/* [wxMaxima: input end ] */ | |
/* [wxMaxima: comment start ] | |
Comporbamos el orden que estamos usando. | |
[wxMaxima: comment end ] */ | |
/* [wxMaxima: input start ] */ | |
poly_monomial_order; | |
/* [wxMaxima: input end ] */ | |
/* [wxMaxima: comment start ] | |
Cambiamos al orden graduado lexicográfico inverso. | |
[wxMaxima: comment end ] */ | |
/* [wxMaxima: input start ] */ | |
poly_monomial_order:grevlex; | |
/* [wxMaxima: input end ] */ | |
/* [wxMaxima: input start ] */ | |
poly_reduced_grobner([X^2-Y*Z-3,Y^2-X*Z-4,Z^2-X*Y-5],[X,Y,Z]); | |
/* [wxMaxima: input end ] */ | |
/* [wxMaxima: input start ] */ | |
poly_reduced_grobner([X^2-Y*Z-3,Y^2-X*Z-4,Z^2-X*Y-5],[Z,X,Y]); | |
/* [wxMaxima: input end ] */ | |
/* [wxMaxima: comment start ] | |
No parece que haya afectado al cálculo de las bases de Groebner. | |
[wxMaxima: comment end ] */ | |
/* [wxMaxima: comment start ] | |
Cambiamos al orden lexicográfico graduado. | |
[wxMaxima: comment end ] */ | |
/* [wxMaxima: input start ] */ | |
poly_monomial_order:grlex; | |
/* [wxMaxima: input end ] */ | |
/* [wxMaxima: input start ] */ | |
poly_reduced_grobner([X^2-Y*Z-3,Y^2-X*Z-4,Z^2-X*Y-5],[X,Y,Z]); | |
poly_reduced_grobner([X^2-Y*Z-3,Y^2-X*Z-4,Z^2-X*Y-5],[Z,X,Y]); | |
/* [wxMaxima: input end ] */ | |
/* [wxMaxima: comment start ] | |
Aquí tampoco hay cambios. | |
[wxMaxima: comment end ] */ | |
/* [wxMaxima: input start ] */ | |
poly_monomial_order:invlex; | |
poly_reduced_grobner([X^2-Y*Z-3,Y^2-X*Z-4,Z^2-X*Y-5],[X,Y,Z]); | |
poly_reduced_grobner([X^2-Y*Z-3,Y^2-X*Z-4,Z^2-X*Y-5],[Z,X,Y]); | |
/* [wxMaxima: input end ] */ | |
/* [wxMaxima: comment start ] | |
Con este nuevo orden las bases son distintas. | |
[wxMaxima: comment end ] */ | |
/* [wxMaxima: input start ] */ | |
poly_monomial_order:lex; | |
poly_reduced_grobner([X^2-Y*Z-3,Y^2-X*Z-4,Z^2-X*Y-5],[X,Y,Z]); | |
poly_reduced_grobner([X^2-Y*Z-3,Y^2-X*Z-4,Z^2-X*Y-5],[Z,X,Y]); | |
/* [wxMaxima: input end ] */ | |
/* [wxMaxima: comment start ] | |
De nuevo obtenemos las bases primeras. | |
[wxMaxima: comment end ] */ | |
/* Maxima can't load/batch files which end with a comment! */ | |
"Created with wxMaxima"$ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment