Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Reference Fixes #154

Merged
merged 2 commits into from
Oct 11, 2023
Merged

Reference Fixes #154

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
20c6c20
Remove Typos, Add Generics to Natural Number Extension Spec
agureev Aug 31, 2023
8d8cf6c
Remove Cod and Dom Generics
agureev Oct 10, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 2 additions & 3 deletions src/seqn/package.lisp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,8 @@
(uiop:define-package #:geb.seqn.main
(:mix #:geb.mixins #:geb.generics #:geb.spec
#:geb.extension.spec #:geb.seqn.spec
#:serapeum #:common-lisp)))
#:serapeum #:common-lisp)
(:export :cod :dom #:@seqn-api)))

(in-package :geb.seqn.main)

Expand All @@ -19,9 +20,7 @@
(inj-coprod-parallel pax:function)
(zero-list pax:function)
(dom (pax:method () (<seqn>)))
(dom (pax:generic-function))
(cod (pax:method () (<seqn>)))
(cod (pax:generic-function))
(well-defp-cat (pax:method () (<seqn>)))
(gapply (pax:method () (<seqn> t))))

Expand Down
21 changes: 13 additions & 8 deletions src/specs/extension.lisp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ of natural numbers"))
number [NUM] and produces an object standing for cardinality
2^([NUM]) corresponding to [NUM]-wide bit number.

The formal grammar of [NAT-WIDTH][NAT-WIDTH class] is
The formal grammar of [NAT-WIDTH][class] is

```lisp
(nat-width num)
Expand All @@ -99,7 +99,7 @@ are to consder."))
((num :initarg :num
:accessor num
:documentation ""))
(:documentation "Given a natural number [NAT] greater than 0, gives a morphsm
(:documentation "Given a natural number [NUM] greater than 0, gives a morphsm
(nat-add num) : (nat-mod num) x (nat-mod num) -> (nat-mod num) representing
floored addition of two bits of length n.

Expand All @@ -113,7 +113,7 @@ The formal grammar of [NAT-ADD][class] is
((num :initarg :num
:accessor num
:documentation ""))
(:documentation "Given a natural number [NAT] greater than 0, gives a morphsm
(:documentation "Given a natural number [NUM] greater than 0, gives a morphsm
(nat-mult num) : (nat-mod num) x (nat-mod num) -> (nat-mod n) representing floored
multiplication in natural numbers modulo n.

Expand All @@ -127,11 +127,11 @@ The formal grammar of [NAT-MULT][class] is
((num :initarg :num
:accessor num
:documentation ""))
(:documentation "Given a natural number [NAT] greater than 0, gives a morphsm
(:documentation "Given a natural number [NUM] greater than 0, gives a morphsm
(nat-sub sum) : (nat-mod num) x (nat-mod num) -> (nat-mod num) representing
floored subtraction of two bits of length n.

The formal grammar of [NAT-SUB][class] isy
The formal grammar of [NAT-SUB][class] is

```lisp
(nat-sub num)
Expand All @@ -141,7 +141,7 @@ The formal grammar of [NAT-SUB][class] isy
((num :initarg :num
:accessor num
:documentation ""))
(:documentation "Given a natural number [NAT] greater than 0, gives a morphsm
(:documentation "Given a natural number [NUM] greater than 0, gives a morphsm
(nat-div num) : (nat-mod num) x (nat-mod num) -> (nat-mod num) representing
floored division in natural numbers modulo n.

Expand Down Expand Up @@ -173,8 +173,8 @@ The formal grammar of [NAT-ADD][class] is
((num :initarg :num
:accessor num
:documentation ""))
(:documentation "Given a nutural number [NAT] presents a [NAT]-wide bit number
as a ([NAT] + 1)-wide bit number via injecting.
(:documentation "Given a nutural number [NUM] presents a [NUM]-wide bit number
as a ([NUM] + 1)-wide bit number via injecting.

The formal grammar of [NAT-INJ][class] is

Expand Down Expand Up @@ -284,6 +284,11 @@ which evaluated to true iff the first input is less than the second"))
(defun nat-lt (num)
(make-instance 'nat-lt :num num))

(defgeneric num (obj))
(defgeneric pos (obj))
(defgeneric num-left (obj))
(defgeneric num-right (obj))




Expand Down