{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:6UEZOX36LQVK67PL6XITFZI2XO","short_pith_number":"pith:6UEZOX36","schema_version":"1.0","canonical_sha256":"f509975f7e5c2aaf7debf5d132e51abbbc70ef999208a0acd40368342674d749","source":{"kind":"arxiv","id":"2501.00563","version":1},"attestation_state":"computed","paper":{"title":"Motives meet SymPy: studying $\\lambda$-ring expressions in Python","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC","math.KT"],"primary_cat":"math.AG","authors_text":"Daniel Sanchez, David Alfaya, Jaime Pizarroso","submitted_at":"2024-12-31T17:49:53Z","abstract_excerpt":"We present a new Python package called \"motives\", a symbolic manipulation package based on SymPy capable of handling and simplifying motivic expressions in the Grothendieck ring of Chow motives and other types of $\\lambda$-rings. The package is able to manipulate and compare arbitrary expressions in $\\lambda$-rings and, in particular, it contains explicit tools for manipulating motives of several types of commonly used moduli schemes and moduli stacks of decorated bundles on curves. We have applied this new tool to advance in the verification of Mozgovoy's conjectural formula for the motive of"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2501.00563","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2024-12-31T17:49:53Z","cross_cats_sorted":["cs.SC","math.KT"],"title_canon_sha256":"3bed853c1147f79db2e320fe930646bae7f31284311367e8a4c56b13ba487d1c","abstract_canon_sha256":"c61770403ec455a17f219f8c97bc45b30c763e3549d38a6860e46d6079029a2d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:56:07.540767Z","signature_b64":"jgLOzRS9FIIogghuJmuSsEJLw6lKUNif06lYGULq4i3Grl9u6ivcHeehuA24szSbFil4+QNbZrt6ifXqw+3GAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f509975f7e5c2aaf7debf5d132e51abbbc70ef999208a0acd40368342674d749","last_reissued_at":"2026-07-05T09:56:07.540373Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:56:07.540373Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Motives meet SymPy: studying $\\lambda$-ring expressions in Python","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC","math.KT"],"primary_cat":"math.AG","authors_text":"Daniel Sanchez, David Alfaya, Jaime Pizarroso","submitted_at":"2024-12-31T17:49:53Z","abstract_excerpt":"We present a new Python package called \"motives\", a symbolic manipulation package based on SymPy capable of handling and simplifying motivic expressions in the Grothendieck ring of Chow motives and other types of $\\lambda$-rings. The package is able to manipulate and compare arbitrary expressions in $\\lambda$-rings and, in particular, it contains explicit tools for manipulating motives of several types of commonly used moduli schemes and moduli stacks of decorated bundles on curves. We have applied this new tool to advance in the verification of Mozgovoy's conjectural formula for the motive of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.00563","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2501.00563/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2501.00563","created_at":"2026-07-05T09:56:07.540431+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.00563v1","created_at":"2026-07-05T09:56:07.540431+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.00563","created_at":"2026-07-05T09:56:07.540431+00:00"},{"alias_kind":"pith_short_12","alias_value":"6UEZOX36LQVK","created_at":"2026-07-05T09:56:07.540431+00:00"},{"alias_kind":"pith_short_16","alias_value":"6UEZOX36LQVK67PL","created_at":"2026-07-05T09:56:07.540431+00:00"},{"alias_kind":"pith_short_8","alias_value":"6UEZOX36","created_at":"2026-07-05T09:56:07.540431+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6UEZOX36LQVK67PL6XITFZI2XO","json":"https://pith.science/pith/6UEZOX36LQVK67PL6XITFZI2XO.json","graph_json":"https://pith.science/api/pith-number/6UEZOX36LQVK67PL6XITFZI2XO/graph.json","events_json":"https://pith.science/api/pith-number/6UEZOX36LQVK67PL6XITFZI2XO/events.json","paper":"https://pith.science/paper/6UEZOX36"},"agent_actions":{"view_html":"https://pith.science/pith/6UEZOX36LQVK67PL6XITFZI2XO","download_json":"https://pith.science/pith/6UEZOX36LQVK67PL6XITFZI2XO.json","view_paper":"https://pith.science/paper/6UEZOX36","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.00563&json=true","fetch_graph":"https://pith.science/api/pith-number/6UEZOX36LQVK67PL6XITFZI2XO/graph.json","fetch_events":"https://pith.science/api/pith-number/6UEZOX36LQVK67PL6XITFZI2XO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6UEZOX36LQVK67PL6XITFZI2XO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6UEZOX36LQVK67PL6XITFZI2XO/action/storage_attestation","attest_author":"https://pith.science/pith/6UEZOX36LQVK67PL6XITFZI2XO/action/author_attestation","sign_citation":"https://pith.science/pith/6UEZOX36LQVK67PL6XITFZI2XO/action/citation_signature","submit_replication":"https://pith.science/pith/6UEZOX36LQVK67PL6XITFZI2XO/action/replication_record"}},"created_at":"2026-07-05T09:56:07.540431+00:00","updated_at":"2026-07-05T09:56:07.540431+00:00"}