āĻāĻāĻŋ āĻšāĻ˛ 4ti2-gensymm āĻāĻŽāĻžāĻ¨ā§āĻĄ āĻ¯āĻž āĻāĻŽāĻžāĻĻā§āĻ° āĻāĻāĻžāĻ§āĻŋāĻ āĻŦāĻŋāĻ¨āĻžāĻŽā§āĻ˛ā§āĻ¯ā§āĻ° āĻ āĻ¨āĻ˛āĻžāĻāĻ¨ āĻāĻ¯āĻŧāĻžāĻ°ā§āĻāĻ¸ā§āĻā§āĻļāĻ¨ āĻ¯ā§āĻŽāĻ¨ āĻāĻŦā§āĻ¨ā§āĻā§ āĻ āĻ¨āĻ˛āĻžāĻāĻ¨, āĻĢā§āĻĄā§āĻ°āĻž āĻ āĻ¨āĻ˛āĻžāĻāĻ¨, āĻāĻāĻ¨ā§āĻĄā§āĻ āĻ āĻ¨āĻ˛āĻžāĻāĻ¨ āĻāĻŽā§āĻ˛ā§āĻāĻ° āĻŦāĻž MAC OS āĻ āĻ¨āĻ˛āĻžāĻāĻ¨ āĻāĻŽā§āĻ˛ā§āĻāĻ° āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻāĻ°ā§ OnWorks āĻĢā§āĻ°āĻŋ āĻšā§āĻ¸ā§āĻāĻŋāĻ āĻĒā§āĻ°āĻĻāĻžāĻ¨āĻāĻžāĻ°ā§āĻ¤ā§ āĻāĻžāĻ˛āĻžāĻ¨ā§ āĻ¯ā§āĻ¤ā§ āĻĒāĻžāĻ°ā§āĨ¤
āĻāĻžāĻ°ā§āĻ¯āĻā§āĻ°āĻŽ:
NAME āĻāĻ°
4ti2 - āĻŦā§āĻāĻāĻŖāĻŋāĻ¤, āĻā§āĻ¯āĻžāĻŽāĻŋāĻ¤āĻŋāĻ āĻāĻŦāĻ āĻ°ā§āĻāĻŋāĻ āĻ¸āĻŽāĻ¸ā§āĻ¯āĻžāĻā§āĻ˛āĻŋāĻ° āĻāĻ¨ā§āĻ¯ āĻ¸āĻĢā§āĻāĻāĻ¯āĻŧā§āĻ¯āĻžāĻ° āĻĒā§āĻ¯āĻžāĻā§āĻ
āĻļā§āĻŖā§āĻ¯āĻ¸ā§āĻĨāĻžāĻ¨
āĻ¸āĻžāĻāĻ¨ā§āĻĒāĻŋāĻ¸āĻŋāĻ¸
4ti2-āĻ¸āĻžāĻ°ā§āĻāĻŋāĻ
4ti2-āĻā§āĻ¨āĻŽāĻĄā§āĻ˛ [---āĻļāĻžāĻ¨ā§āĻ¤] foo.mod
4ti2-gensymm [---āĻļāĻžāĻ¨ā§āĻ¤] a b c d foo āĻŦāĻŋāĻ¨ā§āĻ¯āĻžāĻ¸
4ti2-āĻā§āĻ°ā§āĻāĻžāĻ° [---āĻļāĻžāĻ¨ā§āĻ¤] foo[|.mat|.lat]
4ti2-groebner [--āĻļāĻžāĻ¨ā§āĻ¤|-q] [-āĻŦāĻ˛|-f] [--āĻ¸ā§āĻ¯āĻžāĻā§āĻ°ā§āĻļāĻ¨|-s] [--āĻĒā§āĻ°āĻāĻ˛ā§āĻĒ-āĻāĻŦāĻ-āĻ˛āĻŋāĻĢāĻ|-p]
[--āĻ¸ā§āĻŦāĻžāĻāĻžāĻŦāĻŋāĻ|-n] [--āĻāĻžāĻ°āĻŋāĻ¤|-w] [--gebauer-moeller|-g] [--āĻ¸ā§āĻŦāĻ¯āĻŧāĻāĻā§āĻ°āĻŋāĻ¯āĻŧ-āĻšā§āĻ°āĻžāĻ¸-āĻĢā§āĻ°āĻŋāĻā§āĻ¯āĻŧā§āĻ¨ā§āĻ¸=N|-āĻN] foo āĻŦāĻŋāĻ¨ā§āĻ¯āĻžāĻ¸
4ti2-āĻšāĻŋāĻ˛āĻŦāĻžāĻ°ā§āĻ [---āĻļāĻžāĻ¨ā§āĻ¤] foo āĻŦāĻŋāĻ¨ā§āĻ¯āĻžāĻ¸
4ti2-āĻŽāĻžāĻ°ā§āĻāĻ [--āĻļāĻžāĻ¨ā§āĻ¤|-q] foo āĻŦāĻŋāĻ¨ā§āĻ¯āĻžāĻ¸
4ti2- āĻā§āĻ āĻāĻ°ā§āĻ¨ [--āĻļāĻžāĻ¨ā§āĻ¤|-q] foo āĻŦāĻŋāĻ¨ā§āĻ¯āĻžāĻ¸
4ti2-āĻ¸ā§āĻŦāĻžāĻāĻžāĻŦāĻŋāĻ āĻ°ā§āĻĒ
4ti2-āĻāĻāĻāĻĒā§āĻ [---āĻļāĻžāĻ¨ā§āĻ¤] [---āĻĻā§āĻŦāĻŋāĻĒāĻĻ] [---āĻŽā§āĻ¯āĻžāĻĒā§āĻ˛] [--ā§Ļ-ā§§] [--- āĻ¸ā§āĻĨāĻžāĻ¨āĻžāĻ¨ā§āĻ¤āĻ°] [-āĻĄāĻŋāĻā§āĻ°ā§ [N]]
[---āĻāĻ¤āĻŋāĻŦāĻžāĻāĻ] [--ā§Š āĻĒāĻĨ a b c] foo āĻŦāĻŋāĻ¨ā§āĻ¯āĻžāĻ¸
4ti2-ppi
4ti2-qsolve
4ti2-āĻ°āĻļā§āĻŽāĻŋ
4ti2-āĻšāĻžāĻāĻāĻž
4ti2-zbasis
4ti2-zsolve
āĻŦāĻ°ā§āĻŖāĻ¨āĻžāĻ
āĻ¸āĻĢā§āĻāĻāĻ¯āĻŧā§āĻ¯āĻžāĻ° āĻĒā§āĻ¯āĻžāĻā§āĻ 4ti2 āĻšāĻ˛ āĻŦā§āĻāĻāĻŖāĻŋāĻ¤āĻā§ āĻ¸āĻŽā§āĻŦā§āĻ§āĻ¨ āĻāĻ°āĻžāĻ° āĻāĻ¨ā§āĻ¯ āĻāĻŽāĻžāĻ¨ā§āĻĄ-āĻ˛āĻžāĻāĻ¨ āĻ¸āĻ°āĻā§āĻāĻžāĻŽāĻā§āĻ˛āĻŋāĻ° āĻāĻāĻāĻŋ āĻ¸ā§āĻ¯ā§āĻ,
āĻ°ā§āĻāĻŋāĻ āĻ¸ā§āĻĨāĻžāĻ¨āĻā§āĻ˛āĻŋāĻ¤ā§ āĻā§āĻ¯āĻžāĻŽāĻŋāĻ¤āĻŋāĻ āĻāĻŦāĻ āĻ¸āĻŽāĻ¨ā§āĻŦāĻŋāĻ¤ āĻ¸āĻŽāĻ¸ā§āĻ¯āĻžāĨ¤
āĻ¤āĻĨā§āĻ¯ āĻāĻ āĻ¨
4ti2 āĻāĻ° āĻŽā§āĻ˛ āĻ§āĻžāĻ°āĻŖāĻž āĻāĻāĻ āĻĨāĻžāĻā§: āĻāĻāĻāĻŋ āĻĒā§āĻ°āĻāĻ˛ā§āĻĒ āĻāĻāĻāĻŋ āĻĢāĻžāĻāĻ˛ā§āĻ° āĻŽāĻžāĻ§ā§āĻ¯āĻŽā§ āĻ¸āĻāĻā§āĻāĻžāĻ¯āĻŧāĻŋāĻ¤ āĻāĻ°āĻž āĻšāĻ¯āĻŧ foo[.mat]
āĻ¸āĻŽāĻ¸ā§āĻ¯āĻž āĻŽā§āĻ¯āĻžāĻā§āĻ°āĻŋāĻā§āĻ¸ āĻ§āĻžāĻ°āĻŖāĻāĻžāĻ°ā§. āĻ¸āĻŽā§āĻĒāĻ°ā§āĻāĻŋāĻ¤ āĻ¸ā§āĻ āĻ¯ā§āĻŽāĻ¨ Graver āĻāĻŋāĻ¤ā§āĻ¤āĻŋ āĻŦāĻž Markov āĻāĻŋāĻ¤ā§āĻ¤āĻŋāĻ¤ā§ āĻ°āĻžāĻāĻž āĻšāĻ¯āĻŧ
āĻŽāĻ§ā§āĻ¯ā§ foo.gra āĻāĻŦāĻ foo.mar, āĻ¯āĻĨāĻžāĻā§āĻ°āĻŽā§āĨ¤
āĻāĻ¨āĻĒā§āĻ āĻĢāĻžāĻāĻ˛ āĻāĻŦāĻ āĻāĻāĻāĻĒā§āĻ āĻĢāĻžāĻāĻ˛āĻā§āĻ˛āĻŋāĻ¤ā§ āĻ¸āĻžāĻ§āĻžāĻ°āĻŖāĻ¤ āĻāĻāĻāĻŋ āĻŽā§āĻ¯āĻžāĻā§āĻ°āĻŋāĻā§āĻ¸ āĻŦāĻž āĻā§āĻā§āĻāĻ°ā§āĻ° āĻāĻāĻāĻŋ āĻ¤āĻžāĻ˛āĻŋāĻāĻž āĻĨāĻžāĻā§ (āĻ āĻšāĻŋāĻ¸āĻžāĻŦā§ āĻ˛ā§āĻāĻž
āĻŽā§āĻ¯āĻžāĻā§āĻ°āĻŋāĻā§āĻ¸) āĻāĻāĻāĻŋ āĻ¸ā§āĻā§āĻ¯āĻžāĻ¨ā§āĻĄāĻžāĻ°ā§āĻĄ āĻāĻ¨āĻā§āĻĄāĻŋāĻ āĻ¯ā§āĻŽāĻ¨
2 4
1 1 1 1
1 2 3 4
āĻļā§āĻ§ā§āĻŽāĻžāĻ¤ā§āĻ° āĻāĻ¯āĻŧā§āĻāĻāĻŋ āĻŦā§āĻ¯āĻ¤āĻŋāĻā§āĻ°āĻŽ āĻāĻā§, āĻāĻĻāĻžāĻšāĻ°āĻŖāĻ¸ā§āĻŦāĻ°ā§āĻĒ āĻāĻāĻāĻŋ āĻĢāĻžāĻāĻ˛ā§ foo.vars āĻāĻ˛ā§āĻ˛ā§āĻāĻŋāĻ¤ āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ°āĻāĻžāĻ°ā§ āĻ§āĻžāĻ°āĻŖāĻāĻžāĻ°ā§
āĻĒāĻ°āĻŋāĻŦāĻ°ā§āĻ¤āĻ¨āĻļā§āĻ˛ āĻ¨āĻžāĻŽ:
3
abx
onworks.net āĻĒāĻ°āĻŋāĻˇā§āĻŦāĻž āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻāĻ°ā§ āĻ āĻ¨āĻ˛āĻžāĻāĻ¨ā§ 4ti2-gensymm āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻāĻ°ā§āĻ¨