Commit Graph

12104 Commits (flac)

Author SHA1 Message Date
Steve Ayerhart 3dd8221447
wip 2020-05-03 21:07:58 -05:00
Steve Ayerhart 1b67ebac16
more wip 2020-05-02 15:58:16 -05:00
Steve Ayerhart c91134d0ba
wip 2020-04-30 17:39:46 -05:00
Steve Ayerhart 440365c072
wip 2020-04-30 15:34:14 -05:00
Steve Ayerhart 77d5b75257
more wip 2020-04-21 11:49:47 -05:00
Steve Ayerhart c1fd2077a2
wip 2020-04-14 14:37:56 -05:00
Steve Ayerhart 97eccfaa2e
bitmask cleanup 2020-04-11 21:07:27 -05:00
Doug Coleman 0d2a36f081
basis: Move more extra to basis.
I missed these because they were already loaded in my saved image.
2020-04-11 20:36:36 -05:00
Doug Coleman 62f2496e56
basis: Move any vocabularies required by basis into basis. 2020-04-11 20:36:35 -05:00
Doug Coleman fcfb1e43f7
factor: Update all repos to point to github.com.
factorcode.org repo can get behind the github one due to #1862 and low RAM on the new factorcode.org server

Change strategy for calling git fetch to not include the branch name if we are on a detached HEAD
2020-04-11 20:36:29 -05:00
Cat Stevens c5b38ebfd7
fix various typos; cleanup and fully document boyer-moore 2020-04-11 20:36:28 -05:00
kusumotonorio 19bb304391
Reduced stack waste, added LOGIC-RED: and LOGIC-VAR:, a little speed up. 2020-04-11 20:36:27 -05:00
Doug Coleman 37c790ed22
windows: Fix user32/shcore DPI functions. 2020-04-11 20:36:21 -05:00
Doug Coleman caa5156df9
ui.render.test: Replace reference image with an uncorrupted one.
To generate a rendering image:

USE: ui.render.test
"ui-render-test" run
render-output get-global "resource:reference.bmp" save-graphic-image

Fixes #2210.
2020-04-11 20:36:13 -05:00
John Benediktsson e61f1ebc14
vocabs.metadata: cleanup a couple uses of metadata paths. 2020-04-11 20:36:09 -05:00
John Benediktsson 6cacce4d5c
pdf: heuristic for dealing with table wrapping. 2020-04-11 20:36:06 -05:00
John Benediktsson 97029fbee9
pdf.values: fix names for some fonts. 2020-04-11 20:36:05 -05:00
John Benediktsson 4c4dcc0480
help.pdf: use 1.25 line-height on pdf. 2020-04-11 20:36:04 -05:00
John Benediktsson 29e15fef76
pdf.canvas: add concept of line-height multiplier. 2020-04-11 20:36:04 -05:00
John Benediktsson 014eaa51f3
logic.examples: cleanup, make hanoi tests assert output. 2020-04-11 20:36:03 -05:00
kusumotonorio e2ecab70c1
logic.factor: [ quot call( -- ) ] --> quot 2020-04-11 20:36:02 -05:00
kusumotonorio 241b902134
factlog vocab ==> logic vocab 2020-04-11 20:36:01 -05:00
kusumotonorio 8520361b0c
Rename directory, files. 2020-04-11 20:36:00 -05:00
kusumotonorio ca0859ff18
catb0t's PR: add a Prolog-like %! ... multiline comment #6 2020-04-11 20:35:59 -05:00
kusumotonorio 9a94c2d54d
factlog 2020-04-11 20:35:58 -05:00
John Benediktsson a8b6de2a35
webapps.planet: use factor color. 2020-04-11 20:35:56 -05:00
John Benediktsson 3eccec19f3
webapps.wiki: remove footer border-top. 2020-04-11 20:35:55 -05:00
John Benediktsson ca3551a9d4
websites.concatenative: navbar background. 2020-04-11 20:35:54 -05:00
John Benediktsson d0d46c3dff
webapps.wiki: better spacing on article list. 2020-04-11 20:35:54 -05:00
John Benediktsson 3628f979d5
webapps: remove floating factorcode.org links. 2020-04-11 20:35:50 -05:00
John Benediktsson 0796f95679
webapps.help: matching style for navbar. 2020-04-11 20:35:49 -05:00
John Benediktsson 83750e9f8f
websites.concatenative: make navbar use line-height. 2020-04-11 20:35:48 -05:00
John Benediktsson 578169f5e7
webapps.wiki: 24px hamburger instead of 32px. 2020-04-11 20:35:47 -05:00
John Benediktsson 221b89f0b2
webapps.help: responsive search. 2020-04-11 20:35:46 -05:00
John Benediktsson ee42db5436
extra: moving hash-sets.numbers, hashtables.numbers to basis. 2020-04-11 20:35:45 -05:00
John Benediktsson 12118f02e2
webapps.planet: a bit more style. 2020-04-11 20:35:43 -05:00
John Benediktsson 8fd968cf58
webapps.planet: more responsive css. 2020-04-11 20:35:42 -05:00
John Benediktsson 3c80b9b9aa
webapps.planet: use div to style post body. 2020-04-11 20:35:41 -05:00
John Benediktsson dc387f45b9
webapps.pastebin: more padding. 2020-04-11 20:35:40 -05:00
John Benediktsson 43d22b8cb6
webapps.wiki: style the header. 2020-04-11 20:35:39 -05:00
John Benediktsson 96a7bac40d
webapps.wiki: tweak line-height to fix issue with title. 2020-04-11 20:35:38 -05:00
John Benediktsson a1d927bbf8
webapps.wiki: simplify and fix resize issue on mobile. 2020-04-11 20:35:38 -05:00
John Benediktsson 539dea68fc
webapps.wiki: some responsive css (and JS for hamburger menu). 2020-04-11 20:35:37 -05:00
John Benediktsson 09453d4cff
websites.concatenative: write script (if any) from children. 2020-04-11 20:35:36 -05:00
Cat Stevens 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
John Benediktsson 1f59f04033
websites.concatenative: fix for xhtml. 2020-04-11 20:35:31 -05:00
John Benediktsson 58c5265103
websites.concatenative: device viewport css. 2020-04-11 20:35:31 -05:00
John Benediktsson 7209b3ff36
websites.factorcode: some downloads style. 2020-04-11 20:35:30 -05:00
John Benediktsson 2037e5df99
websites.factorcode: give logo a width also. 2020-04-11 20:35:29 -05:00
John Benediktsson ac5b03baab
websites.factorcode: better mobile responsive css. 2020-04-11 20:35:28 -05:00