{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:YG7JGLIZ33YU2AAKJSIA3ZNI6Y","short_pith_number":"pith:YG7JGLIZ","schema_version":"1.0","canonical_sha256":"c1be932d19def14d000a4c900de5a8f6127ab4857e4a5abb94385f17f1c5f995","source":{"kind":"arxiv","id":"2404.16796","version":1},"attestation_state":"computed","paper":{"title":"SAGBI and Gr\\\"obner Bases Detection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG"],"primary_cat":"math.AC","authors_text":"Elima Shehu, Timothy Duff, Viktoriia Borovik","submitted_at":"2024-04-25T17:42:32Z","abstract_excerpt":"We introduce a detection algorithm for SAGBI basis in polynomial rings, analogous to a Gr\\\"obner basis detection algorithm previously proposed by Gritzmann and Sturmfels. We also present two accompanying software packages named SagbiGbDetection for Macaulay2 and Julia. Both packages allow the user to find one or more term orders for which a set of input polynomials form either Gr\\\"obner basis for the ideal they generate or a SAGBI basis for the subalgebra. Additionally, we investigate the computational complexity of homogeneous SAGBI detection and apply our implementation to several novel exam"},"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":"2404.16796","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2024-04-25T17:42:32Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"c22d66c2105487699c2182ab68a9b110957de730d0e41ac8734f3bcb719e35c2","abstract_canon_sha256":"4c42c9ee77ee2f452c6fabfbbd7ef0a2c4a4868eebd683ad912debff73f89624"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:12:12.647709Z","signature_b64":"jXU+dhaRe9WGchwMWA0lKO6mQXoQWnVsAOl0wr9IRyZoW+VAntcLAt7BYGOKtURMIxEjtZAADuf61Yt/TRCcDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1be932d19def14d000a4c900de5a8f6127ab4857e4a5abb94385f17f1c5f995","last_reissued_at":"2026-07-05T08:12:12.647211Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:12:12.647211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SAGBI and Gr\\\"obner Bases Detection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG"],"primary_cat":"math.AC","authors_text":"Elima Shehu, Timothy Duff, Viktoriia Borovik","submitted_at":"2024-04-25T17:42:32Z","abstract_excerpt":"We introduce a detection algorithm for SAGBI basis in polynomial rings, analogous to a Gr\\\"obner basis detection algorithm previously proposed by Gritzmann and Sturmfels. We also present two accompanying software packages named SagbiGbDetection for Macaulay2 and Julia. Both packages allow the user to find one or more term orders for which a set of input polynomials form either Gr\\\"obner basis for the ideal they generate or a SAGBI basis for the subalgebra. Additionally, we investigate the computational complexity of homogeneous SAGBI detection and apply our implementation to several novel exam"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.16796","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/2404.16796/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":"2404.16796","created_at":"2026-07-05T08:12:12.647272+00:00"},{"alias_kind":"arxiv_version","alias_value":"2404.16796v1","created_at":"2026-07-05T08:12:12.647272+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.16796","created_at":"2026-07-05T08:12:12.647272+00:00"},{"alias_kind":"pith_short_12","alias_value":"YG7JGLIZ33YU","created_at":"2026-07-05T08:12:12.647272+00:00"},{"alias_kind":"pith_short_16","alias_value":"YG7JGLIZ33YU2AAK","created_at":"2026-07-05T08:12:12.647272+00:00"},{"alias_kind":"pith_short_8","alias_value":"YG7JGLIZ","created_at":"2026-07-05T08:12:12.647272+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2506.06264","citing_title":"The SagbiHomotopy.jl package for solving polynomial systems","ref_index":2024,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YG7JGLIZ33YU2AAKJSIA3ZNI6Y","json":"https://pith.science/pith/YG7JGLIZ33YU2AAKJSIA3ZNI6Y.json","graph_json":"https://pith.science/api/pith-number/YG7JGLIZ33YU2AAKJSIA3ZNI6Y/graph.json","events_json":"https://pith.science/api/pith-number/YG7JGLIZ33YU2AAKJSIA3ZNI6Y/events.json","paper":"https://pith.science/paper/YG7JGLIZ"},"agent_actions":{"view_html":"https://pith.science/pith/YG7JGLIZ33YU2AAKJSIA3ZNI6Y","download_json":"https://pith.science/pith/YG7JGLIZ33YU2AAKJSIA3ZNI6Y.json","view_paper":"https://pith.science/paper/YG7JGLIZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2404.16796&json=true","fetch_graph":"https://pith.science/api/pith-number/YG7JGLIZ33YU2AAKJSIA3ZNI6Y/graph.json","fetch_events":"https://pith.science/api/pith-number/YG7JGLIZ33YU2AAKJSIA3ZNI6Y/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YG7JGLIZ33YU2AAKJSIA3ZNI6Y/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YG7JGLIZ33YU2AAKJSIA3ZNI6Y/action/storage_attestation","attest_author":"https://pith.science/pith/YG7JGLIZ33YU2AAKJSIA3ZNI6Y/action/author_attestation","sign_citation":"https://pith.science/pith/YG7JGLIZ33YU2AAKJSIA3ZNI6Y/action/citation_signature","submit_replication":"https://pith.science/pith/YG7JGLIZ33YU2AAKJSIA3ZNI6Y/action/replication_record"}},"created_at":"2026-07-05T08:12:12.647272+00:00","updated_at":"2026-07-05T08:12:12.647272+00:00"}