{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2007:2PBCFWI3BCARARXYJIOPJ4I225","short_pith_number":"pith:2PBCFWI3","canonical_record":{"source":{"id":"math/0701146","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.AC","submitted_at":"2007-01-04T18:16:55Z","cross_cats_sorted":[],"title_canon_sha256":"ccd252e59855e752b44b8592d98654f9fdd9d29ed7c11849e4b11535a2d2a173","abstract_canon_sha256":"9d654f6fcb5178577a250e7958709781a1e9260cc3bbe23b61fbd7f2ed89ab52"},"schema_version":"1.0"},"canonical_sha256":"d3c222d91b08811046f84a1cf4f11ad76a4a7caf466c7c9185a90f383a555bad","source":{"kind":"arxiv","id":"math/0701146","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0701146","created_at":"2026-05-18T00:55:52Z"},{"alias_kind":"arxiv_version","alias_value":"math/0701146v2","created_at":"2026-05-18T00:55:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0701146","created_at":"2026-05-18T00:55:52Z"},{"alias_kind":"pith_short_12","alias_value":"2PBCFWI3BCAR","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"2PBCFWI3BCARARXY","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"2PBCFWI3","created_at":"2026-05-18T12:25:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2007:2PBCFWI3BCARARXYJIOPJ4I225","target":"record","payload":{"canonical_record":{"source":{"id":"math/0701146","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.AC","submitted_at":"2007-01-04T18:16:55Z","cross_cats_sorted":[],"title_canon_sha256":"ccd252e59855e752b44b8592d98654f9fdd9d29ed7c11849e4b11535a2d2a173","abstract_canon_sha256":"9d654f6fcb5178577a250e7958709781a1e9260cc3bbe23b61fbd7f2ed89ab52"},"schema_version":"1.0"},"canonical_sha256":"d3c222d91b08811046f84a1cf4f11ad76a4a7caf466c7c9185a90f383a555bad","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:55:52.467967Z","signature_b64":"FtEMLbpByb3Z+Lpzzt7OsUKAsBPbMvTK69qVzfgD/eKhIExPTEVAscxYARMf4+5FxrTu3xbZkLozaT5MLYYOCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d3c222d91b08811046f84a1cf4f11ad76a4a7caf466c7c9185a90f383a555bad","last_reissued_at":"2026-05-18T00:55:52.467524Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:55:52.467524Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0701146","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:55:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VLe1e2GSASr4JX9ln4buzLH/K3TGzGeBOWBmgmsAY+TvI6HBTKligICEpSbuH4VEqiv+/UC4UH5qBLeqQIFzBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T07:36:02.928932Z"},"content_sha256":"2a45ee38efcae97d2e4257d5c5e6acbb297e7f4e663f0b0b38d784eda4118c03","schema_version":"1.0","event_id":"sha256:2a45ee38efcae97d2e4257d5c5e6acbb297e7f4e663f0b0b38d784eda4118c03"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2007:2PBCFWI3BCARARXYJIOPJ4I225","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Homalg: A meta-package for homological algebra","license":"","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Daniel Robertz, Mohamed Barakat","submitted_at":"2007-01-04T18:16:55Z","abstract_excerpt":"The central notion of this work is that of a functor between categories of finitely presented modules over so-called computable rings, i.e. rings R where one can algorithmically solve inhomogeneous linear equations with coefficients in R. The paper describes a way allowing one to realize such functors, e.g. Hom, tensor product, Ext, Tor, as a mathematical object in a computer algebra system. Once this is achieved, one can compose and derive functors and even iterate this process without the need of any specific knowledge of these functors. These ideas are realized in the ring independent packa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0701146","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:55:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7b0P4KGeAihZfjf26+thgqs9x7T7MDn7YWM23J3aep7UKvyt1RHhKuXK/ylgpE71eov3xsdVxSf/NoWEbHOrDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T07:36:02.929421Z"},"content_sha256":"4ce18d873e087d5e020ad8b809024796ac230a41fd9e7bcac829c609df46857d","schema_version":"1.0","event_id":"sha256:4ce18d873e087d5e020ad8b809024796ac230a41fd9e7bcac829c609df46857d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225/bundle.json","state_url":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2PBCFWI3BCARARXYJIOPJ4I225/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-25T07:36:02Z","links":{"resolver":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225","bundle":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225/bundle.json","state":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2PBCFWI3BCARARXYJIOPJ4I225/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:2PBCFWI3BCARARXYJIOPJ4I225","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9d654f6fcb5178577a250e7958709781a1e9260cc3bbe23b61fbd7f2ed89ab52","cross_cats_sorted":[],"license":"","primary_cat":"math.AC","submitted_at":"2007-01-04T18:16:55Z","title_canon_sha256":"ccd252e59855e752b44b8592d98654f9fdd9d29ed7c11849e4b11535a2d2a173"},"schema_version":"1.0","source":{"id":"math/0701146","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0701146","created_at":"2026-05-18T00:55:52Z"},{"alias_kind":"arxiv_version","alias_value":"math/0701146v2","created_at":"2026-05-18T00:55:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0701146","created_at":"2026-05-18T00:55:52Z"},{"alias_kind":"pith_short_12","alias_value":"2PBCFWI3BCAR","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"2PBCFWI3BCARARXY","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"2PBCFWI3","created_at":"2026-05-18T12:25:54Z"}],"graph_snapshots":[{"event_id":"sha256:4ce18d873e087d5e020ad8b809024796ac230a41fd9e7bcac829c609df46857d","target":"graph","created_at":"2026-05-18T00:55:52Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The central notion of this work is that of a functor between categories of finitely presented modules over so-called computable rings, i.e. rings R where one can algorithmically solve inhomogeneous linear equations with coefficients in R. The paper describes a way allowing one to realize such functors, e.g. Hom, tensor product, Ext, Tor, as a mathematical object in a computer algebra system. Once this is achieved, one can compose and derive functors and even iterate this process without the need of any specific knowledge of these functors. These ideas are realized in the ring independent packa","authors_text":"Daniel Robertz, Mohamed Barakat","cross_cats":[],"headline":"","license":"","primary_cat":"math.AC","submitted_at":"2007-01-04T18:16:55Z","title":"Homalg: A meta-package for homological algebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0701146","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2a45ee38efcae97d2e4257d5c5e6acbb297e7f4e663f0b0b38d784eda4118c03","target":"record","created_at":"2026-05-18T00:55:52Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"9d654f6fcb5178577a250e7958709781a1e9260cc3bbe23b61fbd7f2ed89ab52","cross_cats_sorted":[],"license":"","primary_cat":"math.AC","submitted_at":"2007-01-04T18:16:55Z","title_canon_sha256":"ccd252e59855e752b44b8592d98654f9fdd9d29ed7c11849e4b11535a2d2a173"},"schema_version":"1.0","source":{"id":"math/0701146","kind":"arxiv","version":2}},"canonical_sha256":"d3c222d91b08811046f84a1cf4f11ad76a4a7caf466c7c9185a90f383a555bad","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d3c222d91b08811046f84a1cf4f11ad76a4a7caf466c7c9185a90f383a555bad","first_computed_at":"2026-05-18T00:55:52.467524Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:55:52.467524Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FtEMLbpByb3Z+Lpzzt7OsUKAsBPbMvTK69qVzfgD/eKhIExPTEVAscxYARMf4+5FxrTu3xbZkLozaT5MLYYOCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:55:52.467967Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0701146","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2a45ee38efcae97d2e4257d5c5e6acbb297e7f4e663f0b0b38d784eda4118c03","sha256:4ce18d873e087d5e020ad8b809024796ac230a41fd9e7bcac829c609df46857d"],"state_sha256":"5e2edc6d553a39d7eaa681bad8760624641513e66b9b75e4552dda5cf8ec8acd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wccfuowdWS6mOalNlCJQUNu7wboMVrZ9FaiYquXahd4boKEz5Z4RPuoKxfm8Mqnk4Dvrop89laFvjTeYC83NBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T07:36:02.932245Z","bundle_sha256":"52a3111c339aa511262ba11f567ef805d894dede25bf074c75940cfea4e91fc0"}}