|
|
(3 intermediate revisions by 2 users not shown) |
Line 1: |
Line 1: |
− | <command>
| |
− | <title>BBF.Retrieve</title>
| |
− | <short_description>retrieve objects from ApCoCoABBFServer</short_description>
| |
− | <syntax>
| |
− | $BBF.Retrieve(ObjectName:STRING):LIST
| |
− | </syntax>
| |
− | <description>
| |
− | Retrieve computed objects from ApCoCoABBFServer. The input to this function must be the name of the object to retrieve. If an object has not been computed yet an empty list is returned.
| |
| | | |
− | {| class="wikitable" style="text-align:left"
| |
− | |-
| |
− | ! <tt>ObjectName</tt> (as <tt>STRING</tt>) !! Output
| |
− | |-
| |
− | | <tt>BBasis</tt> || List of polynomials representing a border basis.
| |
− | |-
| |
− | | <tt>L</tt> || List of monomials representing the generators of L.
| |
− | |-
| |
− | | <tt>O</tt> || List of monomials representing the generators of O.
| |
− | |-
| |
− | | <tt>V</tt> || List of polynomials used for computations in the Border Basis Algorithm.
| |
− | |}
| |
− |
| |
− | Please have a look at the paper [http://staff.fim.uni-passau.de/kreuzer/papers/algbb.pdf Computing border bases] written by A. Kehrein and M. Kreuzer for further information about meaning of the objects in the table above.
| |
− | Please not that in order to use this function you have to start the ApCoCoABBFServer.
| |
− |
| |
− | {{Beta}}
| |
− | <example>
| |
− | Use Z/(32003)[x, y, z],DegLex;
| |
− | I:=Ideal(-4*x^2, -4*y^2, 5*z^2);
| |
− | $BBF.Init(I);
| |
− | $BBF.Finish();
| |
− | $BBF.Retrieve("BBasis");
| |
− | Computation started.
| |
− |
| |
− | -------------------------------
| |
− | [z^2, y^2, x^2, yz^2, y^2z, xz^2, xy^2, x^2z, x^2y, xyz^2, xy^2z, x^2yz]
| |
− | -------------------------------
| |
− | </example>
| |
− | </description>
| |
− | <see>Border Basis Framework overview</see>
| |
− | <see>BBasis</see>
| |
− | <key>kaspar</key>
| |
− | <key>bbf.retrieve</key>
| |
− | <wiki-category>Package_BBF</wiki-category>
| |
− | </command>
| |