Afines (Manual de Maxima 5.50.0)

## 24 Afines ¶

### 24.1 Funciones y variables para Afines ¶

Función: fast_linsolve ([expr_1, ..., expr_m], [x_1, ..., x_n]) ¶

  Resuelve las ecuaciones lineales simultáneas expr_1, ..., expr_m para las variables x_1, ..., x_n. Cada expr_i puede ser una ecuación o una expresión general; en caso de tratarse de una expresión general, será tratada como una ecuación de la forma `expr_i = 0`.

  El valor que devuelve es una lista de ecuaciones de la forma `[x_1 = a_1, ..., x_n = a_n]` donde todas las a_1, ..., a_n están exentas de x_1, ..., x_n.

  La función `fast_linsolve` es más rápida que `linsolve` para sistemas de ecuaciones con coeficientes dispersos.

  Antes de utilizar esta función ejecútese `load("affine")`.

Función: grobner_basis ([expr_1, ..., expr_m]) ¶

  Devuelve una base de Groebner para las ecuaciones expr_1, ..., expr_m. La función `polysimp` puede ser entonces utilizada para simplificar otras funciones relativas a las ecuaciones.

      grobner_basis ([3*x^2+1, y*x])$

      polysimp (y^2*x + x^3*9 + 2) ==> -3*x + 2

  `polysimp(f)` alcanza 0 si y sólo si f está en el ideal generado por expr_1, ..., expr_m, es decir, si y sólo si f es una combinación polinómica de los elementos de expr_1, ..., expr_m.

  Antes de utilizar esta función ejecútese `load("affine")`.

Función: set_up_dot_simplifications (eqns, check_through_degree) ¶
Función: set_up_dot_simplifications (eqns) ¶

  Las eqns son ecuaciones polinómicas de variables no conmutativas. El valor de `current_variables` es la lista de variables utilizadas para el cálculo de los grados. Las ecuaciones deben ser homogéneas, al objeto de completar el procedimiento.

  El grado es el devuelto por `nc_degree`. Éste a su vez depende de los pesos de las variables individuales.

  Antes de utilizar esta función ejecútese `load("affine")`.

Función: declare_weights (x_1, w_1, ..., x_n, w_n) ¶

  Asigna los pesos w_1, ..., w_n a x_1, ..., x_n, respectivamente. Estos pesos son los utilizados en el cálculo de `nc_degree`.

  Antes de utilizar esta función ejecútese `load("affine")`.

Función: nc_degree (p) ¶

  Devuelve el grado de un polinomio no conmutativo p. Véase `declare_weights`.

  Antes de utilizar esta función ejecútese `load("affine")`.

Función: dotsimp (f) ¶

  Devuelve 0 si y sólo si f está en el ideal generado por las ecuaciones, esto es, si y sólo si f es una combinación lineal de los elementos de las ecuaciones.

  Antes de utilizar esta función ejecútese `load("affine")`.

Función: fast_central_elements ([x_1, ..., x_n], n) ¶

  Si se ha ejecutado `set_up_dot_simplifications` con antelación, obtiene los polinomios centrales de grado n de variables x_1, ..., x_n.

  Por ejemplo:

      set_up_dot_simplifications ([y.x + x.y], 3);
      fast_central_elements ([x, y], 2);
      [y.y, x.x];

  Antes de utilizar esta función ejecútese `load("affine")`.

Función: check_overlaps (n, add_to_simps) ¶

  Revisa la superposición hasta el grado n, asegurándose de que el usuario tiene suficientes reglas de simplificación en cada grado para que `dotsimp` trabaje correctamente. Este proceso puede acelerarse si se conoce de antemano cuál es la dimensión del espacio de monomios. Si éste es de dimensión global finita, entonces debería usarse `hilbert`. Si no se conoce la dimensiones de los monomios, no se debería especificar una `rank_function`. Un tercer argumento opcional es `reset`.

  Antes de utilizar esta función ejecútese `load("affine")`.

Función: mono ([x_1, ..., x_n], n) ¶

  Devuelve la lista de monomios independientes.

  Antes de utilizar esta función ejecútese `load("affine")`.

Función: monomial_dimensions (n) ¶

  Calcula el desarrollo de Hilbert de grado n para el algebra actual.

  Antes de utilizar esta función ejecútese `load("affine")`.

Función: extract_linear_equations ([p_1, ..., p_n], [m_1, ..., m_n]) ¶

  Hace una lista de los coeficientes de los polinomios no conmutativos p_1, ..., p_n de los monomios no conmutativos m_1, ..., m_n. Los coeficientes deben escalares. Hágase uso de `list_nc_monomials` para construir la lista de monomios.

  Antes de utilizar esta función ejecútese `load("affine")`.

Función: list_nc_monomials ([p_1, ..., p_n]) ¶
Función: list_nc_monomials (p) ¶

  Devuelve una lista de los monomios no conmutativos que aparecen en el polinomio p o una lista de polinomios en p_1, ..., p_n.

  Antes de utilizar esta función ejecútese `load("affine")`.

Variable: all_dotsimp_denoms ¶

  Valor por defecto: `false`

  Cuando `all_dotsimp_denoms` es una lista, los denominadores encontrados por `dotsimp` son añadidos a la lista. La variable `all_dotsimp_denoms` puede inicializarse como una lista vacía `[]` antes de llamar a `dotsimp`.

  Por defecto, `dotsimp` no recolecta los denominadores.