source: CGBLisp/src/semantic.cache@ 1

;; Object src/
;; SEMANTICDB Tags save file
(semanticdb-project-database-file "src/"
  :tables (list 
   (semanticdb-table "grobner.lisp"
    :major-mode 'lisp-mode
    :tags '(("C" code nil nil [229 232]) ("e-mail:" code nil nil [253 287]) ("defpackage" code nil nil [691 1563]) ("in-package" code nil nil [1565 1587]) ("eval-when" code nil nil [1589 1732]) ("*grobner-debug*" variable nil nil [1742 1818]) ("*buchberger-merge-pairs*" variable (:default-value (quote buchberger-merge-pairs-smallest-lcm)) nil [1820 2021]) ("*gebauer-moeller-merge-pairs*" variable (:default-value (quote gebauer-moeller-merge-pairs-use-mock-spoly)) nil [2023 2240]) ("*grobner-function*" variable (:default-value (quote buchberger)) nil [2242 2342]) ("select-grobner-algorithm" function (:arguments ("algorithm")) nil [2344 2790]) ("eval-when" code nil nil [2792 2844]) ("grobner" function (:arguments ("F" "&optional" "pred" "start" "top-reduction-only" "ring")) nil [2846 3956]) ("debug-cgb" function (:arguments ("&rest" "args")) nil [3967 4320]) ("spoly" function (:arguments ("f" "g" "pred" "ring")) nil [4322 4955]) ("eval-when" code nil nil [4957 5040]) ("grobner-primitive-part" function (:arguments ("p" "ring")) nil [5043 5502]) ("grobner-content" function (:arguments ("p" "ring")) nil [5505 5863]) ("grobner-op" function (:arguments ("c1" "c2" "m" "A" "B" "pred" "ring" "&aux" "n" "A1" "A2")) nil [9780 11423]) ("eval-when" code nil nil [11568 11634]) ("buchberger-sort-pairs" function (:arguments ("B" "G" "pred" "ring")) nil [11636 12044]) ("mock-spoly" function (:arguments ("f" "g" "pred")) nil [12047 12599]) ("eval-when" code nil nil [12601 12783]) ("buchberger-merge-pairs-use-mock-spoly" function (:arguments ("B" "C" "G" "pred" "ring")) nil [12980 13822]) ("buchberger-merge-pairs-smallest-lcm" function (:arguments ("B" "C" "G" "pred" "ring")) nil [14078 14611]) ("buchberger-merge-pairs-use-smallest-degree" function (:arguments ("B" "C" "G" "pred" "ring")) nil [14852 15321]) ("buchberger-merge-pairs-use-smallest-length" function (:arguments ("B" "C" "G" "pred" "ring")) nil [15323 15781]) ("buchberger-merge-pairs-use-smallest-coefficient-length" function (:arguments ("B" "C" "G" "pred" "ring")) nil [15783 16360]) ("buchberger-set-pair-heuristic" function (:arguments ("method" "&aux" "strategy-fn")) nil [16362 17074]) ("eval-when" code nil nil [17230 17298]) ("Criterion-1" function (:arguments ("pair" "G" "&aux" "i" "j")) nil [17300 17623]) ("normalize-poly" function (:arguments ("p" "ring")) nil [18602 19014]) ("normalize-basis" function (:arguments ("plist" "ring")) nil [19016 19244]) ("reduction" function (:arguments ("P" "pred" "ring")) nil [19246 19918]) ("reduced-grobner" function (:arguments ("F" "&optional" "pred" "start" "top-reduction-only" "ring")) nil [19921 20339]) ("*vars*" variable nil nil [20347 20411]) ("eval-when" code nil nil [20413 20503]) ("monom-depends-p" function (:arguments ("m" "k")) nil [20549 20659]) ("term-depends-p" function (:arguments ("term" "k")) nil [20699 20823]) ("poly-depends-p" function (:arguments ("p" "k")) nil [20871 21020]) ("ring-intersection" function (:arguments ("plist" "k" "&key" "key")) nil [21022 21421]) ("elimination-ideal" function (:arguments ("flist" "k" "&key" "primary-order" "secondary-order" "start" "order" "top-reduction-only" "ring")) nil [21423 22566]) ("ideal-intersection" function (:arguments ("F" "G" "pred" "top-reduction-only" "ring")) nil [22569 23510]) ("poly-contract" function (:arguments ("f" "&optional" "k")) nil [23513 24119]) ("poly-lcm" function (:arguments ("f" "g" "&optional" "pred" "ring")) nil [24122 24925]) ("grobner-gcd" function (:arguments ("f" "g" "&optional" "pred" "ring")) nil [24974 25383]) ("grobner-equal" function (:arguments ("g1" "g2" "&optional" "pred" "ring")) nil [25431 25720]) ("grobner-subsetp" function (:arguments ("g1" "g2" "&optional" "pred" "ring")) nil [25722 26049]) ("grobner-member" function (:arguments ("p" "g" "&optional" "pred" "ring")) nil [26051 26334]) ("ideal-equal" function (:arguments ("f1" "f2" "pred" "top-reduction-only" "ring")) nil [26336 26620]) ("ideal-subsetp" function (:arguments ("f1" "f2" "&optional" "pred" "ring")) nil [26622 26943]) ("ideal-member" function (:arguments ("p" "plist" "pred" "top-reduction-only" "ring")) nil [26945 27221]) ("ideal-saturation-1" function (:arguments ("F" "p" "pred" "start" "top-reduction-only" "ring" "&aux" "pred")) nil [27246 27964]) ("add-variables" function (:arguments ("plist" "n")) nil [27967 28310]) ("extend-polynomials" function (:arguments ("plist" "&aux" "k")) nil [28349 29190]) ("saturation-extension" function (:arguments ("F" "plist" "ring" "&aux" "k" "d")) nil [29238 30132]) ("polysaturation-extension" function (:arguments ("F" "plist" "ring" "&aux" "k" "d")) nil [30176 31070]) ("saturation-extension-1" function (:arguments ("F" "p" "ring")) nil [31072 31390]) ("ideal-polysaturation-1" function (:arguments ("F" "plist" "pred" "start" "top-reduction-only" "ring")) nil [31440 31964]) ("ideal-saturation" function (:arguments ("F" "G" "pred" "start" "top-reduction-only" "ring" "&aux" "k" "pred")) nil [31966 32845]) ("ideal-polysaturation" function (:arguments ("F" "ideal-list" "pred" "start" "top-reduction-only" "ring")) nil [32847 33301]) ("buchberger-criterion" function (:arguments ("G" "pred" "ring")) nil [33303 33673]) ("minimization" function (:arguments ("P" "pred")) nil [34249 34796]) ("add-minimized" function (:arguments ("f" "Gred" "pred")) nil [34799 35159]) ("colon-ideal" function (:arguments ("F" "G" "pred" "top-reduction-only" "ring")) nil [35161 35907]) ("colon-ideal-1" function (:arguments ("F" "g" "pred" "top-reduction-only" "ring")) nil [35909 36217]) ("update" function (:arguments ("G" "B" "h" "pred" "ring" "&aux" "C" "D" "E" "B-new" "G-new" "pair")) nil [39696 41320]) ("gebauer-moeller-merge-pairs-use-mock-spoly" function (:arguments ("B" "C" "pred" "ring")) nil [41328 41892]) ("gebauer-moeller-merge-pairs-smallest-lcm" function (:arguments ("B" "C" "pred" "ring")) nil [41894 42342]) ("gebauer-moeller-merge-pairs-use-smallest-degree" function (:arguments ("B" "C" "pred" "ring")) nil [42345 42800]) ("gebauer-moeller-merge-pairs-use-smallest-length" function (:arguments ("B" "C" "pred" "ring")) nil [42803 43291]) ("gebauer-moeller-merge-pairs-use-smallest-coefficient-length" function (:arguments ("B" "C" "pred" "ring")) nil [43294 43850]) ("gebauer-moeller-set-pair-heuristic" function (:arguments ("method" "&aux" "strategy-fn")) nil [43852 44392]) ("spoly-sugar" function (:arguments ("f-with-sugar" "g-with-sugar" "ring")) nil [44692 45992]) ("spoly-with-sugar" function (:arguments ("f-with-sugar" "g-with-sugar" "pred" "ring")) nil [46046 46721]) ("buchberger-with-sugar-merge-pairs" function (:arguments ("B" "C" "G" "M" "pred" "ring")) nil [51290 52547]) ("buchberger-with-sugar-sort-pairs" function (:arguments ("C" "G" "M" "pred" "ring")) nil [52549 52722]) ("eval-when" code nil nil [52724 52814]) ("Criterion-1-with-sugar" function (:arguments ("pair" "G" "&aux" "i" "j")) nil [52816 53114]) ("update-with-sugar" function (:arguments ("G" "B" "h" "pred" "ring" "&aux" "C" "D" "E" "B-new" "G-new" "pair")) nil [55825 57944]) ("gebauer-moeller-with-sugar-merge-pairs" function (:arguments ("B" "C" "pred" "ring")) nil [57946 58807]) ("grobner-primitive-part-with-sugar" function (:arguments ("h" "ring")) nil [58809 58914]) ("cached-grobner-op" function (:arguments ("c1" "c2" "m" "A" "B" "pred" "ring" "cache")) nil [60652 61023]) ("cached-spoly" function (:arguments ("f" "g" "pred" "ring" "cache-f" "cache-g")) nil [62986 63569]) ("cached-poly-with-sugar-op" function (:arguments ("f" "c" "m" "g" "pred" "ring" "Cache")) nil [69016 69193]) ("cached-monom-times-poly-with-sugar" function (:arguments ("m" "f" "Cache")) nil [69195 69369]))
    :file "grobner.lisp"
    :pointmax 69370
    )
   )
  :file "semantic.cache"
  :semantic-tag-version "2.0beta3"
  :semanticdb-version "2.0beta3"
  )