Hi Ingo,
the manpage below does not go through mandoc -Tlint -Wstyle, because
mandoc -Tlint -Wstyle *.1
mandoc: ecurve.1:48:1: STYLE: whitespace at end of input line
mandoc: ecurve.1:49:7: STYLE: whitespace at end of input line
mandoc: ecurve.1:50:7: STYLE: whitespace at end of input line
mandoc: ecurve.1:51:6: STYLE: whitespace at end of input line
mandoc: ecurve.1:52:7: STYLE: whitespace at end of input line
mandoc: ecurve.1:53:6: STYLE: whitespace at end of input line
mandoc: ecurve.1:54:6: STYLE: whitespace at end of input line
The offending portion is:
.Bd -literal
$ ecurve 7 0 3
* *
* *
**
* *
**
**
.Ed
I can just delete the trailing whitespace and the reader will see the same,
but the whitespace actually has a meaning here: it's a 7x7 ascii bitmap
of an elliptic curve (y^2 = x^3 + 3 over Z_7).
Is it intended that trailing whitespace is an offence even in -literal?
Not that I really need it, but is there an environment in mdoc(7)
that explicitly permits whitespace, for situations such as this?
Jan
.Dd November 27, 2017
.Dt ECURVE 1
.Os
.Sh NAME
.Nm ecurve
.Nd display elliptic curves over finite fields
.Sh SYNOPSIS
.Nm
.Op Fl cfg
.Ar p
.Ar a
.Ar b
.Sh DESCRIPTION
.Nm
computes the points of an elliptic curve given by
.Ql y^2 = x^3 + ax + b
over the finite field Z_p and displays the curve as ascii art.
.Pp
The
.Ar p
argument is a prime determining the Z_p field, and the
.Ar a
and
.Ar b
parameters are the coeficients of the curve.
The options are as follows:
.Pp
.Bl -tag -width Ds -compact
.It Fl c
Display the curve.
This is the default.
.It Fl f
Display the algebraic structure of the underlying Z_p field.
.It Fl g
Display the algebraic structure of the curve as a group.
.El
.Sh EXAMPLES
The following computes the curve given by
.Ql y^2 = x^3 + 3
over Z_7.
In the picture,
.Ar x
is the row,
.Ar y
is the column.
.Bd -literal
$ ecurve 7 0 3
* *
* *
**
* *
**
**
.Ed
.Sh BUGS
.Nm
does not recognize the GF(p^k), only Z_p.
