{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:LPYSLY4FGBF7N32SRQSHXODN5R","short_pith_number":"pith:LPYSLY4F","canonical_record":{"source":{"id":"1110.6275","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2011-10-28T08:40:53Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"1a6c22f4795adf1acf4ad3c3931d38157b0448badce021267bf5aa9cbb579c8e","abstract_canon_sha256":"9eec3292c6ddffe35be6b607dc71fff92aea3d37c67480b54a5edeff46af981a"},"schema_version":"1.0"},"canonical_sha256":"5bf125e385304bf6ef528c247bb86dec7a0d5c183a63537b6d103e8311c5fdae","source":{"kind":"arxiv","id":"1110.6275","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.6275","created_at":"2026-05-18T03:46:47Z"},{"alias_kind":"arxiv_version","alias_value":"1110.6275v2","created_at":"2026-05-18T03:46:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.6275","created_at":"2026-05-18T03:46:47Z"},{"alias_kind":"pith_short_12","alias_value":"LPYSLY4FGBF7","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"LPYSLY4FGBF7N32S","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"LPYSLY4F","created_at":"2026-05-18T12:26:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:LPYSLY4FGBF7N32SRQSHXODN5R","target":"record","payload":{"canonical_record":{"source":{"id":"1110.6275","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2011-10-28T08:40:53Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"1a6c22f4795adf1acf4ad3c3931d38157b0448badce021267bf5aa9cbb579c8e","abstract_canon_sha256":"9eec3292c6ddffe35be6b607dc71fff92aea3d37c67480b54a5edeff46af981a"},"schema_version":"1.0"},"canonical_sha256":"5bf125e385304bf6ef528c247bb86dec7a0d5c183a63537b6d103e8311c5fdae","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:46:47.595495Z","signature_b64":"xDxoOgGt2RWIiRdOpskQTah8709y8dGSXcoLAnWir8LJTK0OVKVrFykfwm9OX9KNn1jFKIjFrRtXCfwy6IdKBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5bf125e385304bf6ef528c247bb86dec7a0d5c183a63537b6d103e8311c5fdae","last_reissued_at":"2026-05-18T03:46:47.594798Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:46:47.594798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1110.6275","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-18T03:46:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G8WwiApwXTJgNEePyaA1Kmg+f3KzNit4xcMyyXU25vrqJpTmlxa9TuCNqJAtf5w0XyoKZ8i40T/kgg8IMaYqAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:01:20.006491Z"},"content_sha256":"14ffe4c5bdf3f4a7e0bbf5bf230c309bb04a1e129520edc1e874c605068d0b7a","schema_version":"1.0","event_id":"sha256:14ffe4c5bdf3f4a7e0bbf5bf230c309bb04a1e129520edc1e874c605068d0b7a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:LPYSLY4FGBF7N32SRQSHXODN5R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stability of Triangular Decomposition and Comprehensive Triangular Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG"],"primary_cat":"cs.SC","authors_text":"Bican Xia, Xiaoxian Tang","submitted_at":"2011-10-28T08:40:53Z","abstract_excerpt":"A new concept, decomposition-unstable (DU) variety of a parametric polynomial system, is introduced in this paper and the stabilities of several triangular decomposition methods, such as characteristic set decomposition, relatively simplicial decomposition and regular chain decomposition, for parametric polynomial systems are discussed in detail. The concept leads to a definition of weakly comprehensive triangular decomposition (WCTD) and a new algorithm for computing comprehensive triangular decomposition (CTD) which was first introduced in [4] for computing an analogue of comprehensive Groeb"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.6275","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-18T03:46:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wdL7xNp8MGvBEQGeY8cbDTb4I8+adh3qKupUdI7quAXLA70SSIt4gQ3IvjTpbiGckJx7VZfwyL1BzrcdCzZ/AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:01:20.007235Z"},"content_sha256":"1bf2bd888625e3e5b1fbb38c3bf22723e280d13e4ba9b366dedce375d942f446","schema_version":"1.0","event_id":"sha256:1bf2bd888625e3e5b1fbb38c3bf22723e280d13e4ba9b366dedce375d942f446"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LPYSLY4FGBF7N32SRQSHXODN5R/bundle.json","state_url":"https://pith.science/pith/LPYSLY4FGBF7N32SRQSHXODN5R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LPYSLY4FGBF7N32SRQSHXODN5R/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-05-26T20:01:20Z","links":{"resolver":"https://pith.science/pith/LPYSLY4FGBF7N32SRQSHXODN5R","bundle":"https://pith.science/pith/LPYSLY4FGBF7N32SRQSHXODN5R/bundle.json","state":"https://pith.science/pith/LPYSLY4FGBF7N32SRQSHXODN5R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LPYSLY4FGBF7N32SRQSHXODN5R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:LPYSLY4FGBF7N32SRQSHXODN5R","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":"9eec3292c6ddffe35be6b607dc71fff92aea3d37c67480b54a5edeff46af981a","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2011-10-28T08:40:53Z","title_canon_sha256":"1a6c22f4795adf1acf4ad3c3931d38157b0448badce021267bf5aa9cbb579c8e"},"schema_version":"1.0","source":{"id":"1110.6275","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.6275","created_at":"2026-05-18T03:46:47Z"},{"alias_kind":"arxiv_version","alias_value":"1110.6275v2","created_at":"2026-05-18T03:46:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.6275","created_at":"2026-05-18T03:46:47Z"},{"alias_kind":"pith_short_12","alias_value":"LPYSLY4FGBF7","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"LPYSLY4FGBF7N32S","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"LPYSLY4F","created_at":"2026-05-18T12:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:1bf2bd888625e3e5b1fbb38c3bf22723e280d13e4ba9b366dedce375d942f446","target":"graph","created_at":"2026-05-18T03:46:47Z","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":"A new concept, decomposition-unstable (DU) variety of a parametric polynomial system, is introduced in this paper and the stabilities of several triangular decomposition methods, such as characteristic set decomposition, relatively simplicial decomposition and regular chain decomposition, for parametric polynomial systems are discussed in detail. The concept leads to a definition of weakly comprehensive triangular decomposition (WCTD) and a new algorithm for computing comprehensive triangular decomposition (CTD) which was first introduced in [4] for computing an analogue of comprehensive Groeb","authors_text":"Bican Xia, Xiaoxian Tang","cross_cats":["math.AG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2011-10-28T08:40:53Z","title":"Stability of Triangular Decomposition and Comprehensive Triangular Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.6275","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:14ffe4c5bdf3f4a7e0bbf5bf230c309bb04a1e129520edc1e874c605068d0b7a","target":"record","created_at":"2026-05-18T03:46:47Z","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":"9eec3292c6ddffe35be6b607dc71fff92aea3d37c67480b54a5edeff46af981a","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2011-10-28T08:40:53Z","title_canon_sha256":"1a6c22f4795adf1acf4ad3c3931d38157b0448badce021267bf5aa9cbb579c8e"},"schema_version":"1.0","source":{"id":"1110.6275","kind":"arxiv","version":2}},"canonical_sha256":"5bf125e385304bf6ef528c247bb86dec7a0d5c183a63537b6d103e8311c5fdae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5bf125e385304bf6ef528c247bb86dec7a0d5c183a63537b6d103e8311c5fdae","first_computed_at":"2026-05-18T03:46:47.594798Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:46:47.594798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xDxoOgGt2RWIiRdOpskQTah8709y8dGSXcoLAnWir8LJTK0OVKVrFykfwm9OX9KNn1jFKIjFrRtXCfwy6IdKBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:46:47.595495Z","signed_message":"canonical_sha256_bytes"},"source_id":"1110.6275","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:14ffe4c5bdf3f4a7e0bbf5bf230c309bb04a1e129520edc1e874c605068d0b7a","sha256:1bf2bd888625e3e5b1fbb38c3bf22723e280d13e4ba9b366dedce375d942f446"],"state_sha256":"cea55d6f57d84940b7c0f7d6b1911b0392de4bc2b197bdc6b46b4ac3fcb5a5c7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HNf9HFb1NAUhasaXPdDL+myZFFLcr9w1vU48ZAF3cvcHYojO+N/gN9qm6iPsvDiuk9JV+5Y3+kIrPKdKzriJBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T20:01:20.011519Z","bundle_sha256":"516781c5e29a1714020313c255fd8fc811570917e498ccab048af55f21cb3cb8"}}