source: trunk/semantic.cache@ 13

;; Object trunk/
;; SEMANTICDB Tags save file
(semanticdb-project-database-file "trunk/"
  :tables (list 
   (semanticdb-table "grobner.lisp"
    :major-mode 'lisp-mode
    :tags '(("in-package" code nil nil [1249 1269]) ("macsyma-module" code nil nil [1271 1298]) ("$load" code nil nil [1537 1553]) ("makelist-1" function (:arguments ("expr" "var" "lo" "hi" "&optional" "step")) nil [2352 2559]) ("makelist" function (:arguments ("expr" "var" "&rest" "more")) nil [2561 2858]) ("deftype" code nil nil [3705 3772]) ("deftype" code nil nil [3774 3861]) ("make-monom" function (:arguments ("dim" "&key" "initial-contents" "initial-element")) nil [4033 4652]) ("monom-elt" function (:arguments ("m" "index")) nil [4824 4938]) ("monom-dimension" function (:arguments ("m")) nil [4940 5034]) ("monom-total-degree" function (:arguments ("m" "&optional" "start" "end")) nil [5036 5312]) ("monom-sugar" function (:arguments ("m" "&aux" "start" "end")) nil [5314 5567]) ("monom-div" function (:arguments ("m1" "m2" "&aux" "result")) nil [5569 5729]) ("monom-mul" function (:arguments ("m1" "m2" "&aux" "result")) nil [5731 5894]) ("monom-divides-p" function (:arguments ("m1" "m2")) nil [5896 6044]) ("monom-divides-monom-lcm-p" function (:arguments ("m1" "m2" "m3")) nil [6046 6281]) ("monom-lcm-divides-monom-lcm-p" function (:arguments ("m1" "m2" "m3" "m4")) nil [6283 6557]) ("monom-lcm-equal-monom-lcm-p" function (:arguments ("m1" "m2" "m3" "m4")) nil [6559 6829]) ("monom-divisible-by-p" function (:arguments ("m1" "m2")) nil [6831 6993]) ("monom-rel-prime-p" function (:arguments ("m1" "m2")) nil [6995 7214]) ("monom-equal-p" function (:arguments ("m1" "m2")) nil [7216 7348]) ("monom-lcm" function (:arguments ("m1" "m2" "&aux" "result")) nil [7350 7524]) ("monom-gcd" function (:arguments ("m1" "m2" "&aux" "result")) nil [7526 7702]) ("monom-depends-p" function (:arguments ("m" "k")) nil [7704 7852]) ("monom-map" function (:arguments ("fun" "m" "&rest" "ml" "&aux" "result")) nil [7854 7955]) ("monom-append" function (:arguments ("m1" "m2")) nil [7957 8020]) ("monom-contract" function (:arguments ("k" "m")) nil [8022 8071]) ("monom-exponents" function (:arguments ("m")) nil [8073 8146]) ("lex>" function (:arguments ("p" "q" "&optional" "start" "end")) nil [8368 8887]) ("grlex>" function (:arguments ("p" "q" "&optional" "start" "end")) nil [8942 9399]) ("grevlex>" function (:arguments ("p" "q" "&optional" "start" "end")) nil [9456 9928]) ("revlex>" function (:arguments ("p" "q" "&optional" "start" "end")) nil [9956 10639]) ("invlex>" function (:arguments ("p" "q" "&optional" "start" "end")) nil [10642 11171]) ("*monomial-order*" variable (:default-value (function lex>)) nil [11342 11417]) ("monomial-order" function (:arguments ("x" "y")) nil [11419 11486]) ("reverse-monomial-order" function (:arguments ("x" "y")) nil [11488 11547]) ("*primary-elimination-order*" variable (:default-value (function lex>)) nil [11549 11592]) ("*secondary-elimination-order*" variable (:default-value (function lex>)) nil [11594 11639]) ("*elimination-order*" variable nil nil [11641 11930]) ("elimination-order" function (:arguments ("k")) nil [11932 12548]) ("elimination-order-1" function (:arguments ("p" "q" "&optional" "start" "end")) nil [12550 12966]) ("defparameter" code nil nil [13135 13185]) ("priority-queue-make-heap" function (:arguments ("&key" "element-type")) nil [13187 13361]) ("priority-queue" type (:members ("heap" "test") :type "struct") nil [13363 13474]) ("make-priority-queue" function (:arguments ("&key" "element-type" "test" "element-key")) nil [13476 13765]) ("priority-queue-insert" function (:arguments ("pq" "item")) nil [13769 13894]) ("priority-queue-remove" function (:arguments ("pq")) nil [13896 14011]) ("priority-queue-empty-p" function (:arguments ("pq")) nil [14013 14105]) ("priority-queue-size" function (:arguments ("pq")) nil [14107 14181]) ("priority-queue-upheap" function (:arguments ("a" "k" "&optional" "test" "&aux" "v")) nil [14183 14561]) ("priority-queue-heap-insert" function (:arguments ("a" "item" "&optional" "test")) nil [14568 14718]) ("priority-queue-downheap" function (:arguments ("a" "k" "&optional" "test" "&aux" "v" "j" "n")) nil [14720 15140]) ("priority-queue-heap-remove" function (:arguments ("a" "&optional" "test" "&aux" "v")) nil [15142 15365]) ("priority-queue-heap-empty-p" function (:arguments ("a")) nil [15367 15432]) ("defmvar" code nil nil [15633 15798]) ("defmvar" code nil nil [15800 16075]) ("defmvar" code nil nil [16077 16239]) ("defmvar" code nil nil [16241 16399]) ("defmvar" code nil nil [16401 16730]) ("defmvar" code nil nil [16732 16933]) ("defmvar" code nil nil [16935 17026]) ("defmvar" code nil nil [17028 17132]) ("defmvar" code nil nil [17134 17309]) ("ring" type (:members ("parse" "unit" "zerop" "add" "sub" "uminus" "mul" "div" "lcm" "ezgcd" "gcd") :type "struct") nil [17731 18133]) ("defparameter" code nil nil [18135 18460]) ("make-term-variable" function (:arguments ("ring" "nvars" "pos" "&optional" "power" "coeff" "&aux" "monom")) nil [18768 19037]) ("term" type (:members ("monom" "coeff") :type "struct") nil [19039 19219]) ("term-sugar" function (:arguments ("term")) nil [19221 19280]) ("termlist-sugar" function (:arguments ("p" "&aux" "sugar")) nil [19282 19424]) ("termlist-lt" function (:arguments ("p")) nil [19632 19668]) ("termlist-lm" function (:arguments ("p")) nil [19669 19721]) ("termlist-lc" function (:arguments ("p")) nil [19722 19774]) ("define-modify-macro" code nil nil [19776 19822]) ("scalar-times-termlist" function (:arguments ("ring" "c" "p")) nil [19824 20147]) ("term-mul" function (:arguments ("ring" "term1" "term2")) nil [20150 20559]) ("term-times-termlist" function (:arguments ("ring" "term" "f")) nil [20561 20692]) ("termlist-times-term" function (:arguments ("ring" "f" "term")) nil [20694 20796]) ("monom-times-term" function (:arguments ("m" "term")) nil [20798 20895]) ("monom-times-termlist" function (:arguments ("m" "f")) nil [20897 21018]) ("termlist-uminus" function (:arguments ("ring" "f")) nil [21020 21161]) ("termlist-add" function (:arguments ("ring" "p" "q")) nil [21163 21834]) ("termlist-sub" function (:arguments ("ring" "p" "q")) nil [21836 22591]) ("termlist-mul" function (:arguments ("ring" "p" "q")) nil [22653 23181]) ("termlist-unit" function (:arguments ("ring" "dimension")) nil [23189 23353]) ("termlist-expt" function (:arguments ("ring" "poly" "n" "&aux" "dim")) nil [23355 23813]) ("termlist-contract" function (:arguments ("p" "&optional" "k")) nil [24012 24221]) ("termlist-extend" function (:arguments ("p" "&optional" "m")) nil [24223 24521]) ("termlist-add-variables" function (:arguments ("p" "n")) nil [24523 24833]) ("poly" type (:members ("termlist" "sugar") :type "struct") nil [25007 25688]) ("poly-lt" function (:arguments ("p")) nil [25706 25754]) ("poly-second-lt" function (:arguments ("p")) nil [25771 25828]) ("poly-lm" function (:arguments ("p")) nil [25850 25894]) ("poly-second-lm" function (:arguments ("p")) nil [25915 25973]) ("poly-lc" function (:arguments ("p")) nil [25998 26042]) ("poly-second-lc" function (:arguments ("p")) nil [26066 26124]) ("poly-zerop" function (:arguments ("p")) nil [26159 26206]) ("poly-length" function (:arguments ("p")) nil [26231 26281]) ("scalar-times-poly" function (:arguments ("ring" "c" "p")) nil [26283 26411]) ("monom-times-poly" function (:arguments ("m" "p")) nil [26417 26553]) ("term-times-poly" function (:arguments ("ring" "term" "p")) nil [26555 26707]) ("poly-add" function (:arguments ("ring" "p" "q")) nil [26709 26856]) ("poly-sub" function (:arguments ("ring" "p" "q")) nil [26858 27005]) ("poly-uminus" function (:arguments ("ring" "p")) nil [27007 27119]) ("poly-mul" function (:arguments ("ring" "p" "q")) nil [27121 27266]) ("poly-expt" function (:arguments ("ring" "p" "n")) nil [27268 27386]) ("poly-append" function (:arguments ("&rest" "plist")) nil [27388 27545]) ("poly-nreverse" function (:arguments ("p")) nil [27547 27632]) ("poly-contract" function (:arguments ("p" "&optional" "k")) nil [27634 27764]) ("poly-extend" function (:arguments ("p" "&optional" "m")) nil [27766 27944]) ("poly-add-variables" function (:arguments ("p" "k")) nil [27946 28054]) ("poly-list-add-variables" function (:arguments ("plist" "k")) nil [28056 28154]) ("poly-standard-extension" function (:arguments ("plist" "&aux" "k")) nil [28156 28575]) ("saturation-extension" function (:arguments ("ring" "f" "plist" "&aux" "k" "d")) nil [28577 29086]) ("polysaturation-extension" function (:arguments ("ring" "f" "plist" "&aux" "k" "d")) nil [29089 29566]) ("saturation-extension-1" function (:arguments ("ring" "f" "p")) nil [29568 29652]) ("coerce-coeff" function (:arguments ("ring" "expr" "vars")) nil [29847 30138]) ("debug-cgb" function (:arguments ("&rest" "args")) nil [31868 31961]) ("spoly" function (:arguments ("ring" "f" "g")) nil [32142 32671]) ("poly-primitive-part" function (:arguments ("ring" "p")) nil [32674 33122]) ("poly-content" function (:arguments ("ring" "p")) nil [33124 33412]) ("poly-pseudo-divide" function (:arguments ("ring" "f" "fl")) nil [34110 36040]) ("poly-exact-divide" function (:arguments ("ring" "f" "g")) nil [36042 36533]) ("normal-form-step" function (:arguments ("ring" "fl" "p" "r" "c" "division-count" "&aux" "g")) nil [36718 37581]) ("buchberger-criterion" function (:arguments ("ring" "g")) nil [38851 39212]) ("grobner-test" function (:arguments ("ring" "g" "f")) nil [39214 39765]) ("sugar-pair-key" function (:arguments ("p" "q" "&aux" "lcm" "d")) nil [39941 40394]) ("pair" type (:members ("first" "second" "sugar" "division-data") :type "struct") nil [40396 40661]) ("sugar-order" function (:arguments ("x" "y")) nil [40775 41023]) ("*pair-key-function*" variable (:default-value (function sugar-pair-key)) nil [41025 41160]) ("*pair-order*" variable (:default-value (function sugar-order)) nil [41162 41241]) ("make-pair-queue" function nil nil [41243 41491]) ("pair-queue-initialize" function (:arguments ("pq" "f" "start" "&aux" "s" "b")) nil [41493 42089]) ("pair-queue-insert" function (:arguments ("b" "pair")) nil [42091 42158]) ("pair-queue-remove" function (:arguments ("b")) nil [42160 42217]) ("pair-queue-size" function (:arguments ("b")) nil [42219 42272]) ("pair-queue-empty-p" function (:arguments ("b")) nil [42274 42333]) ("criterion-1" function (:arguments ("pair")) nil [47540 47963]) ("minimization" function (:arguments ("p")) nil [54083 54609]) ("poly-normalize" function (:arguments ("ring" "p" "&aux" "c")) nil [54611 55056]) ("poly-normalize-list" function (:arguments ("ring" "plist")) nil [55058 55227]) ("find-grobner-function" function (:arguments ("algorithm")) nil [55414 55847]) ("grobner" function (:arguments ("ring" "f" "&optional" "start" "top-reduction-only")) nil [55849 56055]) ("reduced-grobner" function (:arguments ("ring" "f" "&optional" "start" "top-reduction-only")) nil [56057 56216]) ("set-pair-heuristic" function (:arguments ("method")) nil [56218 57226]) ("term-depends-p" function (:arguments ("term" "k")) nil [57440 57571]) ("poly-depends-p" function (:arguments ("p" "k")) nil [57620 57785]) ("ring-intersection" function (:arguments ("plist" "k")) nil [57787 58150]) ("elimination-ideal" function (:arguments ("ring" "flist" "k" "&optional" "top-reduction-only" "start" "&aux" "*monomial-order*")) nil [58152 58429]) ("colon-ideal" function (:arguments ("ring" "f" "g" "&optional" "top-reduction-only")) nil [58431 59333]) ("colon-ideal-1" function (:arguments ("ring" "f" "g" "&optional" "top-reduction-only")) nil [59335 59662]) ("ideal-intersection" function (:arguments ("ring" "f" "g" "&optional" "top-reduction-only" "&aux" "*monomial-order*")) nil [59665 60217]) ("poly-lcm" function (:arguments ("ring" "f" "g")) nil [60219 61078]) ("grobner-equal" function (:arguments ("ring" "g1" "g2")) nil [61126 61353]) ("grobner-subsetp" function (:arguments ("ring" "g1" "g2")) nil [61355 61632]) ("grobner-member" function (:arguments ("ring" "p" "g")) nil [61634 61861]) ("ideal-saturation-1" function (:arguments ("ring" "f" "p" "start" "&optional" "top-reduction-only" "&aux" "*monomial-order*")) nil [61886 62675]) ("ideal-polysaturation-1" function (:arguments ("ring" "f" "plist" "start" "&optional" "top-reduction-only")) nil [62727 63268]) ("ideal-saturation" function (:arguments ("ring" "f" "g" "start" "&optional" "top-reduction-only" "&aux" "k" "*monomial-order*")) nil [63270 64158]) ("ideal-polysaturation" function (:arguments ("ring" "f" "ideal-list" "start" "&optional" "top-reduction-only")) nil [64160 64635]) ("defparameter" code nil nil [66395 67317]) ("*maxima-ring*" variable (:default-value *expression-ring*) nil [67319 67444]) ("equal-test-p" function (:arguments ("expr1" "expr2")) nil [67618 67675]) ("coerce-maxima-list" function (:arguments ("expr")) nil [67677 67837]) ("free-of-vars" function (:arguments ("expr" "vars")) nil [67839 67905]) ("parse-poly" function (:arguments ("expr" "vars" "&aux" "vars")) nil [67907 69657]) ("parse-poly-list" function (:arguments ("expr" "vars")) nil [69659 69879]) ("parse-poly-list-list" function (:arguments ("poly-list-list" "vars")) nil [69880 70017]) ("find-order" function (:arguments ("order")) nil [70180 70778]) ("find-ring" function (:arguments ("ring")) nil [70780 71281]) ("with-monomial-order" function (:arguments ("order" "&body" "body")) nil [71283 71471]) ("with-coefficient-ring" function (:arguments ("ring" "&body" "body")) nil [71473 71655]) ("with-elimination-orders" function (:arguments ("primary" "&body" "body")) nil [71657 72127]) ("maxima-head" function nil nil [72326 72406]) ("coerce-to-maxima" function (:arguments ("poly-type" "object" "vars")) nil [72408 72893]) ("with-parsed-polynomials" function (:arguments ("((maxima-vars &optional (maxima-new-vars nil new-vars-supplied-p)) &key (polynomials nil) (poly-lists nil) (poly-list-lists nil) (value-type nil))" "&body" "body" "&aux" "vars" "new-vars")) nil [73144 74273]) ("define-unop" function (:arguments ("maxima-name" "fun-name" "&optional" "documentation")) nil [74275 74727]) ("define-binop" function (:arguments ("maxima-name" "fun-name" "&optional" "documentation")) nil [74729 75216]) ("remzero" function (:arguments ("plist")) nil [75448 75499]) ("define-binop" code nil nil [75521 75587]) ("define-binop" code nil nil [75589 75664]) ("define-binop" code nil nil [75666 75752]) ("define-binop" code nil nil [75754 75870]) ("define-unop" code nil nil [75872 75991]) ("define-unop" code nil nil [75993 76102]) ("defmfun" code nil nil [76117 76426]) ("defmfun" code nil nil [76428 76571]) ("defmfun" code nil nil [76573 76694]) ("defmfun" code nil nil [76696 77085]) ("defmfun" code nil nil [77087 77248]) ("defmfun" code nil nil [77250 77449]) ("defmfun" code nil nil [77451 77592]) ("defmfun" code nil nil [77594 77758]) ("defmfun" code nil nil [77760 77921]) ("defmfun" code nil nil [77923 78076]) ("defmfun" code nil nil [78078 78254]) ("defmfun" code nil nil [78256 78411]) ("defmfun" code nil nil [78413 78584]) ("defmfun" code nil nil [78586 78838]) ("defmfun" code nil nil [78840 79027]) ("defmfun" code nil nil [79029 79185]) ("defmfun" code nil nil [79187 79359]) ("defmfun" code nil nil [79361 79504]) ("defmfun" code nil nil [79506 79587]) ("defmfun" code nil nil [79589 79728]) ("defmfun" code nil nil [79730 79873]) ("defmfun" code nil nil [79875 80025]) ("defmfun" code nil nil [80027 80216]) ("defmfun" code nil nil [80218 80432]) ("defmfun" code nil nil [80434 80656]) ("defmfun" code nil nil [80658 80856]) ("defmfun" code nil nil [80858 81034]) ("defmfun" code nil nil [81036 81272]))
    :file "grobner.lisp"
    :pointmax 81274
    :unmatched-syntax 'nil
    )
   )
  :file "semantic.cache"
  :semantic-tag-version "2.0pre4"
  :semanticdb-version "2.0pre4"
  )