-
Notifications
You must be signed in to change notification settings - Fork 13
Generalization #244
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.
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
Merged
Merged
Generalization #244
Changes from 14 commits
Commits
Show all changes
15 commits
Select commit
Hold shift + click to select a range
2dbf570
stub out customization
StevenClontz 86bb27f
Merge branch 'main' into generalization
StevenClontz 1c9d2d6
configurable constants for given category
StevenClontz a45be1b
fix contributing URL
StevenClontz da9c556
Merge remote-tracking branch 'origin/main' into generalization
StevenClontz 82c4978
chore: kick cd
jamesdabbs f4692a3
cleanup space/topology references
StevenClontz 801883c
chore: standardize on VITE_CATEGORY
jamesdabbs f1d0ed0
more spaces->objects
StevenClontz f16521f
fix: singularize graph
jamesdabbs d206a77
fix: buildable graph config
jamesdabbs c26ca61
fix: Questions page looped forever when a dataset has no open questions
jamesdabbs e48d847
Standardize on VITE_CATEGORY=graphs, with per-category bundle hosts
jamesdabbs ac27656
chore: update worker subdomain names
jamesdabbs 12e2c87
chore: finish worker rename in cypress targets and docs
jamesdabbs File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,20 +1,24 @@ | ||
| <script lang="ts"> | ||
| import { categoryConfig } from '@/constants' | ||
| import markdownit from 'markdown-it' | ||
| const md = markdownit() | ||
| import Sync from './Dev/Sync.svelte' | ||
| </script> | ||
|
|
||
| <!-- Footer --> | ||
| <footer class="text-center bg-light text-muted"> | ||
| <div class="pt-4"> | ||
| Data © {new Date().getFullYear()} Steven Clontz and James Dabbs (<a | ||
| class="text-dark" | ||
| href="https://github.com/pi-base/data/blob/main/LICENSE.md">CC-BY</a | ||
| >) | Software © {new Date().getFullYear()} James Dabbs (<a | ||
| class="text-dark" | ||
| href="https://github.com/pi-base/web/blob/main/LICENSE.md">MIT License</a | ||
| >) | | ||
| <a class="text-dark" href="https://github.com/pi-base">GitHub</a> | ||
| {@html md.renderInline( | ||
| categoryConfig.footer(new Date().getFullYear().toString()), | ||
| )} | ||
| </div> | ||
| <div class="p-2"> | ||
| Data last synchonized: <Sync /> | ||
| </div> | ||
| </footer> | ||
|
|
||
| <style> | ||
| :global(footer a) { | ||
| color: #343a40; | ||
| } | ||
| </style> | ||
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,126 +1,48 @@ | ||
| <script lang="ts"> | ||
| import Cite from './Shared/Cite.svelte' | ||
| import markdownit from 'markdown-it' | ||
| const md = markdownit() | ||
|
|
||
| import { contributingUrl } from '@/constants' | ||
| import { categoryConfig } from '@/constants' | ||
| </script> | ||
|
|
||
| <div class="wide jumbotron home-jumbotron"> | ||
| <div class="container"> | ||
| <h1 class="display-4">π-Base</h1> | ||
| <p class="lead">a community database of topological counterexamples</p> | ||
| <div class="ml-3 mt-4"> | ||
| <p> | ||
| ➜ Search spaces by name/description: | ||
| <a href="/spaces?text=compactification" class="text-info" | ||
| >compactifications</a | ||
| > | ||
| </p> | ||
| <p> | ||
| ➜ Search spaces by properties: | ||
| <a | ||
| href="/spaces?q=compact%20%2B%20connected%20%2B%20t_2%20%2B%20~metrizable" | ||
| class="text-info">non-metric continua</a | ||
| > | ||
| </p> | ||
| <p class="mb-0"> | ||
| ➜ Find counterexamples: | ||
| <a href="/theorems/T000040" class="text-info" | ||
| >connected spaces need not be path connected</a | ||
| > | ||
| </p> | ||
| <h1 class="display-4">π-Base: {categoryConfig.subject}</h1> | ||
| <p class="lead">{categoryConfig.slogan}</p> | ||
| <div class="ml-3 mt-4 calloutFeatures"> | ||
| {#each categoryConfig.calloutFeatures as feature} | ||
| <p> | ||
| ➜ {@html md.renderInline(feature)} | ||
| </p> | ||
| {/each} | ||
| </div> | ||
| </div> | ||
| </div> | ||
|
|
||
| <main class="container"> | ||
| <blockquote class="blockquote text-center mt-5 mb-5"> | ||
| <p class="mb-0"> | ||
| Topology is a dense forest of counterexamples. A usable map of the forest | ||
| is a fine thing. | ||
| </p> | ||
| <footer class="blockquote-footer"> | ||
| Paraphrased from Mary Ellen Rudin's review of | ||
| <cite title="Counterexamples in Topology" | ||
| >Counterexamples in Topology</cite | ||
| > | ||
| </footer> | ||
| <p class="mt-3"> | ||
| <small> | ||
| Dedicated to the memory of our friend and mentor Gary Gruenhage | ||
| (1947-2023). | ||
| </small> | ||
| </p> | ||
| </blockquote> | ||
| <hr /> | ||
| <h3>Contributing</h3> | ||
| <p> | ||
| π-Base's data and software are open-sourced on <a | ||
| href="https://github.com/pi-base/">GitHub</a | ||
| >. We rely on | ||
| <a href="https://github.com/pi-base/data/graphs/contributors" | ||
| >volunteers like yourself</a | ||
| > | ||
| to <a href={contributingUrl}>contribute</a> new spaces, properties, and theorems. | ||
| </p> | ||
| <h3>About Us</h3> | ||
| <p> | ||
| The π-Base was founded in 2014 by its lead maintainer | ||
| <a href="https://github.com/jamesdabbs">James Dabbs</a>. π-Base's lead | ||
| mathematical editor and contributing research software engineer | ||
| <a href="https://clontz.org">Steven Clontz</a> | ||
| joined the project in 2017. | ||
| </p> | ||
| <h3>Community</h3> | ||
| <p> | ||
| The π-Base is part of the | ||
| <a href="https://code4math.org" style="font-family:monospace">code4math</a> | ||
| community. Join the conversation on either the | ||
| <a href="https://code4math.zulipchat.com/">code4math Zulip</a> | ||
| or the | ||
| <a href="https://github.com/orgs/pi-base/discussions"> | ||
| π-Base GitHub Discussion board</a | ||
| >. | ||
| </p> | ||
| <p> | ||
| More databases may be discovered at the | ||
| <a href="https://mathbases.org/">Index of Mathematical DataBases</a>. | ||
| </p> | ||
| <h3>Special Acknowledgements</h3> | ||
| <p> | ||
| Many people have contributed to this project, but a few individuals and | ||
| organizations deserve particular recognition: | ||
| </p> | ||
| <ul> | ||
| <li> | ||
| Steen and Seebach for writing the inspiration for this project, | ||
| <a href="https://en.wikipedia.org/wiki/Counterexamples_in_Topology"> | ||
| <cite>Counterexamples in Topology</cite></a | ||
| >. | ||
| </li> | ||
| <li> | ||
| <a href="http://www.montevallo.edu/staff-bio/scott-varagona/" | ||
| >Scott Varagona</a | ||
| > | ||
| for his heroic work serializing <cite>Counterexamples</cite> into the first | ||
| version of the π-Base. | ||
| </li> | ||
| <li> | ||
| Steven and James' graduate advisor, | ||
| <a href="http://www.auburn.edu/~gruengf/">Gary Gruenhage</a>, for all his | ||
| support and guidance. | ||
| </li> | ||
| <li> | ||
| <a href="http://austinmohr.com/home/">Austin Mohr</a> | ||
| for his work and feedback using the π-Base as a pedagogical tool and promoting | ||
| us on | ||
| <a href="https://math.stackexchange.com">Math.StackExchange</a>. | ||
| </li> | ||
| <li> | ||
| Funding from the <a href="https://www.southalabama.edu/" | ||
| >University of South Alabama</a | ||
| > | ||
| Faculty Development Council from 2017-2018. | ||
| </li> | ||
| </ul> | ||
| {#if categoryConfig.acknowledgement} | ||
| <blockquote class="blockquote text-center mt-5 mb-5"> | ||
| <p class="mb-0"> | ||
| {categoryConfig.acknowledgement.quote} | ||
| </p> | ||
| <footer class="blockquote-footer"> | ||
| {categoryConfig.acknowledgement.footer} | ||
| </footer> | ||
| <p class="mt-3"> | ||
| <small> | ||
| {categoryConfig.acknowledgement.dedication} | ||
| </small> | ||
| </p> | ||
| </blockquote> | ||
| <hr /> | ||
| {/if} | ||
| {@html md.render(categoryConfig.homeContent)} | ||
| </main> | ||
| <Cite /> | ||
|
|
||
| <style> | ||
| :global(.calloutFeatures a) { | ||
| color: #17a2b8; | ||
| } | ||
| </style> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
<Typeset body={...}>should do something comparable, but we can take that as aTODOto come back on.