Comments (2)
By object, I assume you mean the spaces, theorems and general properties (but not the "traits" per object, where it's not needed). It is true that it could be determined from the file names, but I don't see a problem with having it also as a uid attribute in the file itself. It allows to see what the uid is by only looking at the contents of the file, which seems useful to me when I am in an editor with multiple files open and it's not immediately transparent which contents corresponds to which filename.
Somehow it feels like it provides a consistency check that could be useful, for example if someone does a cut and paste of one object into another one, it forces them to pay attention to updating the uid. But one could go either way, I guess. You guys with knowledge of the internals of the pi-base infrastructure will be better able to judge.
from data.
Discussed Jan 18 2024 and decided to keep redundancy to serve as a double-check when copy-pasting from other files.
from data.
Related Issues (20)
- definition of Biconnected is unclear HOT 5
- Careful handling of "Has a Dispersion Point" and "Biconnected" in spaces of cardinality less than four HOT 15
- Add completely uniformizable property HOT 10
- Space missing ccc
- CI: disallow `MR` prefix from MR ids HOT 1
- remove unused `converse` data HOT 1
- Fix devcontainer to use local data build
- Corkscrew definition HOT 1
- S133 clean-up HOT 5
- Canonical naming of compactly-generated-related properties
- Theorem Suggestion: Include theorems for deducing and upgrading $k$-space properties when locally Hausdorff HOT 3
- Tighten up theorem T10 HOT 2
- Tighten up Theorem T404 HOT 2
- S24 description needs clarification. HOT 2
- Clean up metacompact traits made redundant by T442
- Properties related to arc connectedness HOT 10
- New property: embeddable in Euclidean space HOT 14
- Restate contrapositive theorems HOT 3
- Proposed property: partition topology HOT 5
- T22 is redundant HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from data.