ืื ื’ืœื™ืชืฆืจืคืชื™ืชืกืคืจื“ื™

Ad


ืกืžืœ OnWorks

gfan_latticeideal - ืžืงื•ื•ืŸ ื‘ืขื ืŸ

ื”ืคืขืœ ืืช gfan_latticeideal ื‘ืกืคืง ืื™ืจื•ื— ื‘ื—ื™ื ื ืฉืœ OnWorks ืขืœ ืื•ื‘ื•ื ื˜ื• ืžืงื•ื•ืŸ, ืคื“ื•ืจื” ืžืงื•ื•ืŸ, ืืžื•ืœื˜ื•ืจ ืžืงื•ื•ืŸ ืฉืœ Windows ืื• ืืžื•ืœื˜ื•ืจ ืžืงื•ื•ืŸ ืฉืœ MAC OS

ื–ื•ื”ื™ ื”ืคืงื•ื“ื” gfan_latticeideal ืฉื ื™ืชืŸ ืœื”ืจื™ืฅ ื‘ืกืคืง ื”ืื™ืจื•ื— ื”ื—ื™ื ืžื™ ืฉืœ OnWorks ื‘ืืžืฆืขื•ืช ืื—ืช ืžืชื—ื ื•ืช ื”ืขื‘ื•ื“ื” ื”ืžืงื•ื•ื ื•ืช ื”ืžืจื•ื‘ื•ืช ืฉืœื ื• ื‘ื—ื™ื ื ื›ื’ื•ืŸ Ubuntu Online, Fedora Online, ืืžื•ืœื˜ื•ืจ ื”ืžืงื•ื•ืŸ ืฉืœ Windows ืื• ืืžื•ืœื˜ื•ืจ ืžืงื•ื•ืŸ ืฉืœ MAC OS

ืชึธื›ึฐื ึดื™ืช:

ืฉืึตื


gfan - ื›ืœื™ ืœื—ื™ืฉื•ื‘ ืื•ื”ื“ื™ Grรถbner ื•ื–ื ื™ื ื˜ืจื•ืคื™ื™ื

ืชึทืงืฆึดื™ืจ


gfan_ื›ืœื™ [ืืคืฉืจื•ื™ื•ืช]

ื’ืคืŸ _ื›ืœื™ [ืืคืฉืจื•ื™ื•ืช]

ืชื™ืื•ืจ


Gfan ื”ื™ื ื—ื‘ื™ืœืช ืชื•ื›ื ื” ืœืžื—ืฉื•ื‘ ืžืื•ื•ืจืจื™ ื’ืจื•ื‘ื ืจ ื•ื–ื ื™ื ื˜ืจื•ืคื™ื™ื. ืืœื• ื”ื
ืžื ื™ืคื•ืช ืคื•ืœื™ื”ื“ืจืœื™ื•ืช ื”ืงืฉื•ืจื•ืช ืœืื™ื“ื™ืืœื™ื ืคื•ืœื™ื ื•ืžื™ื™ื. ื”ืงื•ื ื•ืกื™ื ื”ืžืงืกื™ืžืœื™ื™ื ืฉืœ ืื•ื”ื“ ื’ืจื•ื‘ื ืจ ื ืžืฆืื™ื ื‘ืคื ื™ื
ืฉื™ืœื•ื‘ ืขื ื”ื‘ืกื™ืกื™ื ื”ืžืฆื•ืžืฆืžื™ื ื”ืžืกื•ืžื ื™ื ืฉืœ ื’ืจื•ื‘ื ืจ ืฉืœ ื”ืื™ื“ื™ืืœ ื”ืžื’ื“ื™ืจ ืฉืœื•. ื”ืชื•ื›ื ื”
ืžื—ืฉื‘ ืืช ื›ืœ ื”ื‘ืกื™ืกื™ื ื”ืžื•ืงื˜ื ื™ื ืฉืœ ื’ืจื•ื‘ื ืจ ืžืกื•ืžื ื™ื ืฉืœ ืื™ื“ื™ืืœ. ื”ืื™ื—ื•ื“ ืฉืœื”ื ื”ื•ื ื’ืจื•ื‘ื ืจ ืื•ื ื™ื‘ืจืกืœื™
ื‘ึผึธืกึดื™ืก. ื”ืžื’ื•ื•ืŸ ื”ื˜ืจื•ืคื™ ืฉืœ ืื™ื“ื™ืืœ ืคื•ืœื™ื ื•ื ื”ื•ื ืชืช-ืžืชื—ื ืžืกื•ื™ื ืฉืœ ื”ื’ืจื•ื‘ื ืจ
ืื•ื”ื“. Gfan ืžื›ื™ืœ ืืœื’ื•ืจื™ืชืžื™ื ืœื—ื™ืฉื•ื‘ ืงื•ืžืคืœืงืก ื–ื” ืขื‘ื•ืจ ืื™ื“ื™ืืœื™ื ื›ืœืœื™ื™ื ื•
ืืœื’ื•ืจื™ืชืžื™ื ืžื™ื•ื—ื“ื™ื ืœืขื™ืงื•ืœื™ื ื˜ืจื•ืคื™ื™ื, ืžืฉื˜ื—ื™ ื”ื™ืคืจ ื˜ืจื•ืคื™ื™ื ื•ื–ื ื™ื ื˜ืจื•ืคื™ื™ื
ืฉืœ ืื™ื“ื™ืืœื™ื ืจืืฉื™ื™ื. ื‘ื ื•ืกืฃ ืœืคื•ื ืงืฆื™ื•ืช ื”ืœื™ื‘ื” ื”ื "ืœ, ื”ื—ื‘ื™ืœื” ืžื›ื™ืœื” ื›ืœื™ื ืจื‘ื™ื
ืืฉืจ ืฉื™ืžื•ืฉื™ื™ื ื‘ื—ืงืจ ื‘ืกื™ืกื™ื ืฉืœ ื’ืจื•ื‘ื ืจ, ืื™ื“ื™ืืœื™ื ืจืืฉื•ื ื™ื™ื ื•ื’ื™ืื•ืžื˜ืจื™ื” ื˜ืจื•ืคื™ืช.

ื”ืจืฉื™ืžื” ื”ืžืœืื” ืฉืœ ื›ืœื™ืื—ื•ืช:

ื‘ืกื™ืกื™ื, Buchberger, Combinerays, doidealContain, Fancommonrefinement, Fanhomology,
Fanlink, Fanproduct, Fansubfan, Genericlinearchange, Groebnercone, Groebnerfan,
homogeneityspace, homogenize, initialforms, interactive, ismarkedgroebnerbase,
krulldimension, latticeideal, leaderterms, list, markpolynomialset, minkowskisum, minors,
ืžืขื•ืจื‘ื‘, ื ืจืฉื ื™ืชืจ, PADIC, PolynomialSetunion, ืขื™ื‘ื•ื“, Renderstair Grain, ืจื•ื•ื™ื”,
ืื•ื”ื“ ืฉื ื™, ืกื˜ื˜ื™ืกื˜ื™ืงื”, ืชื—ืœื™ืฃ, ืกื™ืžื˜ืจื™ื•ืช, ื˜ื•ืœื˜ืงืก, ื˜ื•ืคื•ืœื™ื”ื“ืจืœืคืŸ, ื‘ืกื™ืก ื˜ืจื•ืคื™,
TropicalBruteforce, ื”ืขืจื›ืช ื˜ืจื•ืคื™ืช, ื˜ืจื•ืคื™ ืคื•ื ืงืฆื™ื”, ื˜ืจื•ืคื™ -ืคื™ืคืกื™ -ืฉื˜ื—,
ืฆื•ืžืช ื˜ืจื•ืคื™ืช, ื”ืจืžื” ื˜ืจื•ืคื™ืช, ืžืจื—ื‘ ื˜ืจื•ืคื™ ืงื•ื•ื™, ืจื™ื‘ื•ื™ ื˜ืจื•ืคื™,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor, ื’ืจืกื”.

ืœื”ืœืŸ ืžื•ืฆื’ื•ืช ื”ืืคืฉืจื•ื™ื•ืช ื”ื’ื ืจื™ื•ืช ื”ื–ืžื™ื ื•ืช ืขื ื›ื•ืœื ื›ืœื™ืก. ืœืืคืฉืจื•ื™ื•ืช ืกืคืฆื™ืคื™ื•ืช ืฉืœ
ื ืชื™ื ื” ื›ืœื™, ืื ื• ืžืชื™ื™ื—ืกื™ื ืœื”ื•ื“ืขืช ื”ืขื–ืจื” ืฉืœ ื”ื›ืœื™ ื”ื–ื”.

ืืคืฉืจื•ื™ื•ืช


- ืขื–ืจื” ื”ืฆื’ ื”ื•ื“ืขืช ืขื–ืจื” ื”ืžืชืืจืช โ€‹โ€‹ืืช ื”ืคื•ื ืงืฆื™ื•ื ืœื™ื•ืช ืฉืœ gfan_ื›ืœื™ ื•ื”ื–ืžื™ืŸ
ืืคืฉืจื•ื™ื•ืช ืกืคืฆื™ืคื™ื•ืช.

--log1, --log2...
ืืžื•ืจ ืœ-Gfan ื›ืžื” ืžื™ื“ืข ืœื›ืชื•ื‘ ืœืฉื’ื™ืืช ืชืงืŸ ื‘ื–ืžืŸ ื—ื™ืฉื•ื‘
ืจืฅ. ืืคืฉืจื•ื™ื•ืช ืืœื” ืฉื™ืžื•ืฉื™ื•ืช ืžืื•ื“ ื›ืืฉืจ ืืชื” ืจื•ืฆื” ืœื“ืขืช ืื Gfan ืžื™ื™ืฆืจ
ื”ืชืงื“ืžื•ืช ื‘ื—ื™ืฉื•ื‘ ืฉืœื”.

--ืกื˜ื“ื™ืŸ ืขืจืš
ืฆื™ื™ืŸ ืงื•ื‘ืฅ ืœืฉื™ืžื•ืฉ ื›ืงืœื˜ ื‘ืžืงื•ื ืœืงืจื•ื ืžื”ืงืœื˜ ื”ืกื˜ื ื“ืจื˜ื™.

--stdout ืขืจืš
ืฆื™ื™ืŸ ืงื•ื‘ืฅ ืœื›ืชื•ื‘ ืืœื™ื• ืคืœื˜ ื‘ืžืงื•ื ืœื›ืชื•ื‘ ืœืคืœื˜ ื”ืกื˜ื ื“ืจื˜ื™.

--xml ืชืŸ ืœืžืื•ื•ืจืจื™ื ืคื•ืœื™ื”ื“ืจืœื™ื ืœื”ื™ื•ืช ืคืœื˜ ื‘ืคื•ืจืžื˜ XML ื‘ืžืงื•ื ื‘ืคื•ืจืžื˜ ื˜ืงืกื˜. (ื”
ืงื•ื‘ืฆื™ XML ืื™ื ื ื ื™ืชื ื™ื ืœืงืจื™ืื” ืขืœ ื™ื“ื™ Gfan.)

ื”ืฉืชืžืฉ ื‘-gfan_latticeideal ื‘ืื™ื ื˜ืจื ื˜ ื‘ืืžืฆืขื•ืช ืฉื™ืจื•ืชื™ onworks.net


ืฉืจืชื™ื ื•ืชื—ื ื•ืช ืขื‘ื•ื“ื” ื‘ื—ื™ื ื

ื”ื•ืจื“ ืืคืœื™ืงืฆื™ื•ืช Windows & Linux

ืคืงื•ื“ื•ืช ืœื™ื ื•ืงืก

Ad