Coverage report: /home/runner/work/geb/geb/src/poly/package.lisp

KindCoveredAll%
expression013 0.0
branch00nil
Key
Not instrumented
Conditionalized out
Executed
Not executed
 
Both branches taken
One branch taken
Neither branch taken
1
 (in-package :geb.utils)
2
 
3
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
4
 ;;; trans module
5
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
6
 
7
 (muffle-package-variance
8
  (defpackage #:geb.poly.trans
9
    (:local-nicknames (:vamp :geb.vampir.spec)
10
                      (:ext  :geb.extensions))
11
    (:use #:geb.common #:geb.poly.spec)
12
    (:shadowing-import-from #:geb.poly.spec :+ :* :/ :- :mod)
13
    (:export #:@poly-trans)))
14
 
15
 (in-package :geb.poly.trans)
16
 
17
 (pax:defsection @poly-trans (:title "Polynomial Transformations")
18
   "This covers transformation functions from"
19
   (to-circuit (pax:method () (<poly> t)))
20
   (to-vampir  (pax:method () (integer t t)))
21
   (to-vampir  (pax:method () (ident t t)))
22
   (to-vampir  (pax:method () (+ t t)))
23
   (to-vampir  (pax:method () (* t t)))
24
   (to-vampir  (pax:method () (- t t)))
25
   (to-vampir  (pax:method () (/ t t)))
26
   (to-vampir  (pax:method () (compose t t)))
27
   (to-vampir  (pax:method () (if-zero t t)))
28
   (to-vampir  (pax:method () (if-lt t t)))
29
   (to-vampir  (pax:method () (mod t t))))
30
 
31
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
32
 ;;; poly module
33
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
34
 
35
 (geb.utils:muffle-package-variance
36
  (defpackage #:geb.poly.main
37
    (:use #:geb.common)
38
    (:local-nicknames (#:poly #:geb.poly.spec))
39
    (:export #:@poly-api)))
40
 
41
 (in-package :geb.poly.main)
42
 
43
 (pax:defsection @poly-api (:title "Polynomial API")
44
   "This covers the polynomial API"
45
   (gapply             (pax:method () (poly:<poly> t)))
46
   (gapply             (pax:method () (integer t))))
47
 
48
 (geb.utils:muffle-package-variance
49
  (uiop:define-package #:geb.poly
50
    (:use #:geb.common)
51
    (:shadowing-import-from #:geb.poly.spec :+ :* :/ :- :mod)
52
    (:use-reexport #:geb.poly.trans #:geb.poly.spec #:geb.poly.main)
53
    (:export #:@poly-manual)))
54
 
55
 (in-package :geb.poly)
56
 
57
 (pax:defsection @poly-manual (:title "Polynomial Specification")
58
   "This covers a GEB view of Polynomials. In particular this type will
59
 be used in translating GEB's view of Polynomials into Vampir"
60
   (@poly              pax:section)
61
   (@poly-api          pax:section)
62
   (@poly-constructors pax:section)
63
   (@poly-trans        pax:section))