241b902134
factlog vocab ==> logic vocab
2020-04-11 20:36:01 -05:00
8520361b0c
Rename directory, files.
2020-04-11 20:36:00 -05:00
ca0859ff18
catb0t's PR: add a Prolog-like %! ... multiline comment #6
2020-04-11 20:35:59 -05:00
9a94c2d54d
factlog
2020-04-11 20:35:58 -05:00
583e0470c4
html.templates.chloe: adding missing tests.
2020-04-11 20:35:57 -05:00
a8b6de2a35
webapps.planet: use factor color.
2020-04-11 20:35:56 -05:00
3eccec19f3
webapps.wiki: remove footer border-top.
2020-04-11 20:35:55 -05:00
ca3551a9d4
websites.concatenative: navbar background.
2020-04-11 20:35:54 -05:00
d0d46c3dff
webapps.wiki: better spacing on article list.
2020-04-11 20:35:54 -05:00
2597a4a8f6
html.templates: adding meta tag and some chloe tests.
2020-04-11 20:35:53 -05:00
94378fb7c2
tools.errors: fix to match current behavior: "show".
2020-04-11 20:35:52 -05:00
2156d5babd
bootstrap.image: add make-my-image to docs.
2020-04-11 20:35:51 -05:00
3628f979d5
webapps: remove floating factorcode.org links.
2020-04-11 20:35:50 -05:00
0796f95679
webapps.help: matching style for navbar.
2020-04-11 20:35:49 -05:00
83750e9f8f
websites.concatenative: make navbar use line-height.
2020-04-11 20:35:48 -05:00
578169f5e7
webapps.wiki: 24px hamburger instead of 32px.
2020-04-11 20:35:47 -05:00
221b89f0b2
webapps.help: responsive search.
2020-04-11 20:35:46 -05:00
ee42db5436
extra: moving hash-sets.numbers, hashtables.numbers to basis.
2020-04-11 20:35:45 -05:00
4799f2c448
help.html: move pre-wrap to css style fixup.
2020-04-11 20:35:45 -05:00
e15d2775ae
html.streams: fix tests.
2020-04-11 20:35:44 -05:00
12118f02e2
webapps.planet: a bit more style.
2020-04-11 20:35:43 -05:00
8fd968cf58
webapps.planet: more responsive css.
2020-04-11 20:35:42 -05:00
3c80b9b9aa
webapps.planet: use div to style post body.
2020-04-11 20:35:41 -05:00
dc387f45b9
webapps.pastebin: more padding.
2020-04-11 20:35:40 -05:00
43d22b8cb6
webapps.wiki: style the header.
2020-04-11 20:35:39 -05:00
96a7bac40d
webapps.wiki: tweak line-height to fix issue with title.
2020-04-11 20:35:38 -05:00
a1d927bbf8
webapps.wiki: simplify and fix resize issue on mobile.
2020-04-11 20:35:38 -05:00
539dea68fc
webapps.wiki: some responsive css (and JS for hamburger menu).
2020-04-11 20:35:37 -05:00
09453d4cff
websites.concatenative: write script (if any) from children.
2020-04-11 20:35:36 -05:00
fac013d307
html.templates: adding t:script and t:write-script.
2020-04-11 20:35:35 -05:00
6643e97b2c
help.html: more responsive help docs.
2020-04-11 20:35:34 -05:00
a9d7d39425
html.streams: monospace uses pre-wrap, wrap-margin sets width.
2020-04-11 20:35:33 -05:00
1e5bd820f8
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-04-11 20:35:32 -05:00
1f59f04033
websites.concatenative: fix for xhtml.
2020-04-11 20:35:31 -05:00
58c5265103
websites.concatenative: device viewport css.
2020-04-11 20:35:31 -05:00
7209b3ff36
websites.factorcode: some downloads style.
2020-04-11 20:35:30 -05:00
2037e5df99
websites.factorcode: give logo a width also.
2020-04-11 20:35:29 -05:00
ac5b03baab
websites.factorcode: better mobile responsive css.
2020-04-11 20:35:28 -05:00
4e97e9a8fb
prettyprint.backend: make +nil+ render as L{ }.
2020-04-11 20:35:27 -05:00
c439960a17
websites.factorcode: tinypng the logo.
2020-04-11 20:35:26 -05:00
6819227307
websites.factorcode: more examples.
2020-04-11 20:35:25 -05:00
72bb725175
websites.factorcode: more examples.
2020-04-11 20:35:24 -05:00
efd7b85a53
websites.factorcode: smaller fonts in downloads table.
2020-04-11 20:35:24 -05:00
0cc900e917
ui.gadgets.paragraphs: need to merge height/metrics.
...
Sometimes cap-height is false and we handle that differently.
2020-04-11 20:35:23 -05:00
3b9567c3e9
help.html: default font size should be 12pt, less line-height for pre.
2020-04-11 20:35:22 -05:00
be0da69091
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-04-11 20:35:21 -05:00
b4ac50507c
webapps: pre tag line-height.
2020-04-11 20:35:20 -05:00
dafb567492
webapps.wiki: moving class description to wiki.css.
2020-04-11 20:35:19 -05:00
1384fb8f89
help.html: raise line-height to 150%.
2020-04-11 20:35:18 -05:00
23bb656004
Revert "webapps.help: just include the original css instead of duplicating."
...
This reverts commit 77b0c45a13
2020-04-11 20:35:17 -05:00
kusumotonorio
John Benediktsson
Cat Stevens