John Benediktsson
5967033fe5
html.templates: adding t:script and t:write-script.
2020-03-01 12:05:59 -08:00
John Benediktsson
c64d9032b5
help.html: more responsive help docs.
2020-03-01 10:27:22 -08:00
John Benediktsson
e07abedafe
html.streams: monospace uses pre-wrap, wrap-margin sets width.
2020-03-01 10:27:22 -08:00
Cat Stevens
573e4ed198
math.matrices: fix/rename mnorm, update all norms
...
closes #2244
- `mnorm` has been renamed to `normalize-matrix`
to reflect what it actually does, which
is normalize a matrix, not find a norm
of a matrix.
- `mnorm` is no longer a word defined here.
- bugfix: previously, `normalize-matrix` found
the supremum of a matrix (`mmax`),
before taking the supremum's absolute
value (`abs`) and dividing the matrix
by it (`m/n`).
for matrices containing only negative
values and 0, the supremum is 0, and
a `div-by-zero` error was thrown.
`normalize-matrix` has been fixed to
first `abs` all the matrix elements,
and then find the supremum and divide,
it also receieved a zero-matrix? guard
for optimization and preventing
`div-by-zero`.
- new alias: `hilbert-schmidt-norm` for
`frobenius-norm`, to go along with
`math.matrices.extras.<hilbert-matrix>`
and improve searchability by physicists.
- new word: `matrix-p-norm`, written as an
analogue of `math.vectors.p-norm`.
- new word: `matrix-p-q-norm`, which generalizes
entrywise matrix norm over the L^p,q
vector space.
- new word: `matrix-p-norm-entrywise`:
`matrix-p-norm`'s fallback
for p =/= 1, 2, inf; analogue of
`math.vectors.p-norm-default`.
- all norm words have gotten new docs,
`zero-matrix?` guards as an optimisation,
and most have gotten new tests.
2020-03-01 03:31:28 +00:00
John Benediktsson
2511fa72de
websites.concatenative: fix for xhtml.
2020-02-29 08:25:52 -08:00
John Benediktsson
f169051860
websites.concatenative: device viewport css.
2020-02-29 08:25:16 -08:00
John Benediktsson
50f0d241b7
websites.factorcode: some downloads style.
2020-02-29 08:21:41 -08:00
John Benediktsson
24b85d774f
websites.factorcode: give logo a width also.
2020-02-29 08:14:10 -08:00
John Benediktsson
5c758c7018
websites.factorcode: better mobile responsive css.
2020-02-29 08:06:59 -08:00
John Benediktsson
6599869f73
prettyprint.backend: make +nil+ render as L{ }.
2020-02-29 07:16:46 -08:00
John Benediktsson
0139e0d081
websites.factorcode: tinypng the logo.
2020-02-28 14:25:35 -08:00
John Benediktsson
835a83d311
websites.factorcode: more examples.
2020-02-28 13:16:58 -08:00
John Benediktsson
9237a4f289
websites.factorcode: more examples.
2020-02-28 13:04:46 -08:00
John Benediktsson
ed3cdf7ec7
websites.factorcode: smaller fonts in downloads table.
2020-02-28 12:03:07 -08:00
John Benediktsson
dc8e6e6799
ui.gadgets.paragraphs: need to merge height/metrics.
...
Sometimes cap-height is false and we handle that differently.
2020-02-27 21:53:39 -08:00
John Benediktsson
086269ba34
help.html: default font size should be 12pt, less line-height for pre.
2020-02-27 21:44:32 -08:00
John Benediktsson
2379d27950
ui.gadgets.paragraphs: faster pref-dim.
...
Now computing gadget-metrics once, before called (measure-metrics) twice,
the first time adding the result, the second time dropping the top of stack.
2020-02-27 18:10:37 -08:00
John Benediktsson
12079725ac
webapps: pre tag line-height.
2020-02-27 17:25:20 -08:00
John Benediktsson
741d9e2dd6
webapps.wiki: moving class description to wiki.css.
2020-02-27 17:21:33 -08:00
John Benediktsson
ba09d70b8b
help.html: raise line-height to 150%.
2020-02-27 16:49:48 -08:00
John Benediktsson
d3337d566e
Revert "webapps.help: just include the original css instead of duplicating."
...
This reverts commit 77b0c45a13
.
2020-02-27 16:41:20 -08:00
John Benediktsson
77b0c45a13
webapps.help: just include the original css instead of duplicating.
2020-02-27 16:27:15 -08:00
John Benediktsson
490c66ef5d
webapps.help: sync with help.html.
2020-02-27 16:09:03 -08:00
John Benediktsson
d732e87cfa
help.html: less css reset.
2020-02-27 16:08:33 -08:00
John Benediktsson
db1069a6dd
websites.concatenative: move container div to page.xml.
2020-02-27 15:11:55 -08:00
John Benediktsson
c719b096a5
webapps.planet: minor fixes.
2020-02-27 14:44:19 -08:00
John Benediktsson
4241854f94
webapps.pastebin: updated css style.
2020-02-27 14:44:05 -08:00
John Benediktsson
e329d3d9c2
webapps.planet: use protocol agnostic link.
2020-02-27 14:41:13 -08:00
John Benediktsson
7ec954ec05
help.html: use protocol agnostic link.
2020-02-27 14:40:50 -08:00
John Benediktsson
d2eb77e849
webapps.planet: some css cleanup.
2020-02-27 14:28:51 -08:00
John Benediktsson
83f47eb209
help.html: make these match new wiki css.
2020-02-27 13:15:53 -08:00
John Benediktsson
de6d2e2ccd
webapps.wiki: forgot this file.
2020-02-27 12:49:46 -08:00
John Benediktsson
79f1b8e409
websites.concatenative: cleanup css a bit.
2020-02-27 12:49:22 -08:00
Doug Coleman
b546d88e83
extra: Finish renaming a couple words
2020-02-27 01:04:52 +00:00
John Benediktsson
b1a70d47a4
websites.factorcode: a couple more examples.
2020-02-26 17:00:07 -08:00
John Benediktsson
391e3734ee
websites.factorcode: first pass cleanup of website.
2020-02-26 16:46:05 -08:00
John Benediktsson
43b82b03ad
math.vectors: rename "h." to "hdot"
2020-02-26 13:06:52 -08:00
John Benediktsson
da5d010c5b
math.vectors.simd: fix typo in simd vdot intrinsic.
2020-02-26 12:56:52 -08:00
John Benediktsson
07a5912afa
math.matrices: rename m./m.v/v.m to mdot/mdotv/vdotm.
2020-02-26 12:51:04 -08:00
John Benediktsson
1c5d417100
math.vectors: rename "v." to "vdot"
2020-02-26 12:40:16 -08:00
John Benediktsson
29054e53e8
help.markup: make sure lists wrap wider.
2020-02-26 12:02:20 -08:00
John Benediktsson
95b695d664
fjsc: remove unnecessary stack effects on generic words.
2020-02-26 11:34:23 -08:00
John Benediktsson
385c5edf1a
calendar: remove unnecessary effects on generics.
2020-02-26 11:34:02 -08:00
John Benediktsson
6ee821e061
prettyprint.stylesheet: s/stack-effect-style/base-effect/style/.
2020-02-26 11:18:18 -08:00
John Benediktsson
049271d04e
help.markup: cleanup using.
2020-02-26 11:08:13 -08:00
John Benediktsson
59ddb844e9
prettyprint.stylesheet: change stack effects to not be green.
2020-02-26 11:07:46 -08:00
John Benediktsson
2cbcacad88
core/basis/extra: update some tags.txt.
2020-02-26 10:57:08 -08:00
John Benediktsson
522f30e520
xml.writer: remove M\ number write-xml.
...
This is likely an artifact from when numbers were treated as sequences,
which isn't needed anymore.
2020-02-26 10:24:23 -08:00
John Benediktsson
994ecb655b
help.html: assume even padding started out odd.
2020-02-26 10:03:35 -08:00
John Benediktsson
6796daab79
help.html: clone attrs in css-styles-to-classes and double padding.
2020-02-26 09:44:14 -08:00