{"entities":{"Q2316147":{"pageid":2326890,"ns":120,"title":"Item:Q2316147","lastrevid":57836628,"modified":"2026-04-02T18:04:06Z","type":"item","id":"Q2316147","labels":{"en":{"language":"en","value":"On Jacobian group arithmetic for typical divisors on curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7086278"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$26BA78E7-85C4-4B5B-A56B-0EAADA584115","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d56dabd1f90a001f65cd861434753c093626db9d","datavalue":{"value":{"text":"On Jacobian group arithmetic for typical divisors on curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2316147$A6F328DD-E2D1-4EB9-AE1D-5756E57437B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4085f8b545bf16770b6ba9c61435e5515eb7a2cd","datavalue":{"value":"1422.14063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316147$F865CFE8-A43A-447C-998B-9E7E12C48D2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"968a7a26ad8747cf8582c2eba4d2b5e50851a5e2","datavalue":{"value":{"entity-type":"item","numeric-id":514344,"id":"Q514344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$B8201559-FB96-42FF-A403-56D40E618E1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df5f8c354fea6f60fb60c332660963d0551b6095","datavalue":{"value":{"entity-type":"item","numeric-id":254941,"id":"Q254941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$99913C54-8341-4F3E-977E-C175AAEF5A33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"579e31504b4f077aad032b535296e0114f2f19d7","datavalue":{"value":{"time":"+2019-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2316147$3288BA6E-49A8-4BDE-AEDA-C1E62DA6AEBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69f5fcba7f984dfab0d0293ddc149e63ea37a441","datavalue":{"value":"https://arxiv.org/abs/1310.6324","type":"string"},"datatype":"url"},"type":"statement","id":"Q2316147$1F551E58-392D-430E-9EC3-89BE3962C3B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14e1fdf762bf64e08f76039ae0e5821a4d0f0c0b","datavalue":{"value":"Let \\(C\\) be a smooth projective algebraic curve of genus \\(\\geq 1\\) over a field \\(K\\), and \\(C\\) has a \\(K\\)-rational point \\(P_{\\infty}\\). In case where \\(K\\) is a large finite field, previous results on certain degree 3 covers of \\(P^1\\) give fast algorithms for Jacobian group arithmetic under the hypothesis that the pairs of divisors one encounters are typical, and that the result of the group operation is typical. On the other hand, there is not a test to verify whether the input divisors or output data are typical and so, the algorithms might return wrong results without this being detected during the computation.  In this paper, an explicit condition for a divisor to be typical, for arbitrary \\(C\\) is obtained. For the case of \\(C_{3,4}\\) curves two inversions and approximately 125 multiplications in \\(K\\) per group operation in the Jacobian of a \\(C_{3,4}\\) curve give correct results and yield typical divisors as output, provided that both inversions can be carried out. For an arbitrary curve \\(C\\) with a distinguished point \\(P_{\\infty}\\), a modification of the algorithms described in [\\textit{F. K. A. Salem} and \\textit{K. Khuri-Makdisi}, LMS J. Comput. Math. 10, 307--328 (2007; Zbl 1221.14062)] that allows us to carry out Jacobian arithmetic for typical elements is presented. Furthermore, a nontrivial speedup of this algorithms that saves 19 multiplications in \\(K\\) per operation in the Jacobian, a speedup of approximately 15\\%, is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2316147$6CC9D5F2-037E-4FFC-AF9F-50002BBA8341","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"216939729202fc4b9c96cf3f62d6f618570d6e85","datavalue":{"value":"14Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316147$9394A96D-45C6-498B-9EE0-D0CFE207062E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316147$BE16C301-5E3A-4698-AA5F-DAA84E9BDEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db0dbf998ec968d05be3040fdfa9d5b474901d27","datavalue":{"value":"14H40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316147$BFBE7E27-FCFA-485E-8170-692FAF59C78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ccf6cf9514426243b160a3a06e070c16a64dbff","datavalue":{"value":"11G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316147$B4B69382-64F7-4D03-AD4F-2A34225311D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6efe0f99637f165bca42832c10528485403b1496","datavalue":{"value":"7086278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316147$208A4632-60D6-47C8-AE5C-3C9C46BE74C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1dd989a23b85a4b73ce2fd2e3ea74d677b4b7cf","datavalue":{"value":"curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q2316147$18A76C8C-EB56-48E1-A77C-AD4B728B9498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d26fe280d9ba0c66bc2018023fa85866c48ad3a2","datavalue":{"value":"Jacobian","type":"string"},"datatype":"string"},"type":"statement","id":"Q2316147$285342E9-6668-4E25-BBC7-2F8DD5643064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c2c990981f9c9594b70bf6086c9fd5e77cc4ca","datavalue":{"value":"group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2316147$B41D123D-6CF6-4692-A96B-38176E67E463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c52659e9bca8d2cd3cc5315659b032bb8be39435","datavalue":{"value":"divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2316147$FBC9C932-2CBC-4265-BA00-5471996B258D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0c6b4cdaeea731b4d721d1e57817c51ed34c489d","datavalue":{"value":{"entity-type":"item","numeric-id":293716,"id":"Q293716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$829907BB-0D70-4C9D-BECE-C957F8DBB6E6","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$160F1FAC-B7B6-4BC3-8C12-A2166E150165","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06f92a2436508acd0cf5a97e9f4ed35e67afc670","datavalue":{"value":"W3103255258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316147$A80E4B90-43AA-49F0-9523-FDFC82447821","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"050856e3136def1d4e7546251c0fd1b92d19c219","datavalue":{"value":{"entity-type":"item","numeric-id":3091950,"id":"Q3091950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$E249D478-DBD5-41B0-B185-EB74B841B5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf027ab8455c283a022449e34ac628e79718b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5465646,"id":"Q5465646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$2E17DEB1-E61B-425C-9B8D-BC9BDD5EEB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833e18432ba2c35238322529af4c29e51c78a746","datavalue":{"value":{"entity-type":"item","numeric-id":4821055,"id":"Q4821055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$37285DB3-5D71-4FA4-AFD1-F68357DC6CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec3e357a127e489d7587234d513949c7e6e6264","datavalue":{"value":{"entity-type":"item","numeric-id":5901794,"id":"Q5901794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$BD529971-1B6F-4C9D-B675-578BC0370013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a950369ec7490723abe1f38aa73e6b53274580","datavalue":{"value":{"entity-type":"item","numeric-id":3545344,"id":"Q3545344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$3E7A7CD8-F780-418A-8317-A7D48871ABA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb80335c82c9346bdbfc6ffdf703dbc22d0daa85","datavalue":{"value":{"entity-type":"item","numeric-id":4433136,"id":"Q4433136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$13E34F84-0FC0-4C8C-AD05-336A057B68A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2ab44c6f37e169e07cc899385bd7213c9cb28b","datavalue":{"value":{"entity-type":"item","numeric-id":3592703,"id":"Q3592703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$A22B38CC-963D-456E-8860-21CD26E47FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a35e57e331eaf0c34231a56d1db660420286f3a","datavalue":{"value":{"entity-type":"item","numeric-id":4609573,"id":"Q4609573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$0BC0917F-BA88-4C72-9CB9-08AA583DD2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3796a3fc93acf789fe2b51d7828c1a75076a943","datavalue":{"value":{"entity-type":"item","numeric-id":2437222,"id":"Q2437222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316147$11773FD7-303B-40FB-89C5-B33F4E60226A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb7a7a8c9f602730eceacb461397004ad85bbf4c","datavalue":{"value":"10.1007/S40993-018-0101-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316147$626D3BF8-F52A-4D19-ABF8-7CEC252613DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60039dc87e172db3e8e33f052fe2171296d3e36","datavalue":{"value":{"entity-type":"item","numeric-id":3091950,"id":"Q3091950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d130b135ed3ceea310768acebedcfd9a9ea1dfd7","datavalue":{"value":{"amount":"+0.81942344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2316147$CB5E8CEE-E631-4677-89AD-594F53F1CBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd2285c10605032d82ea04eee727db6dc4d84bf","datavalue":{"value":{"entity-type":"item","numeric-id":2739456,"id":"Q2739456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"390ac5d0f84ab808e098f278d604d23554f7c414","datavalue":{"value":{"amount":"+0.78415304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2316147$49692456-A3A8-41AF-ADED-B97EA37AE5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8537807537d0b6583669365ca195d232bd17a893","datavalue":{"value":{"entity-type":"item","numeric-id":2739463,"id":"Q2739463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea6c2cf8c95d257ffc149ab4b27dfbfed72f2d5","datavalue":{"value":{"amount":"+0.77660275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2316147$0042BDE4-39C9-489D-8B5C-C52CB6A6AC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8401550ca2b5554bb3849b7410d8fbd09520dc","datavalue":{"value":{"entity-type":"item","numeric-id":3592703,"id":"Q3592703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574a4ff32d91026812e78d60d4d04dad67d2b07b","datavalue":{"value":{"amount":"+0.77271926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2316147$2A23608D-F1EF-49BC-8F36-18585322C6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e61b6e9e0a549c8061e82610ceddae65450c72","datavalue":{"value":{"entity-type":"item","numeric-id":3545344,"id":"Q3545344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429c9fbe4a932253eef4a3dc53bafa3bbdf83dd2","datavalue":{"value":{"amount":"+0.7710795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2316147$CCCE08AD-6B6A-46F8-97F7-A03C8AAE4CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0312dedbe1425755b294d3e0dd623646be6b92","datavalue":{"value":{"entity-type":"item","numeric-id":5315429,"id":"Q5315429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0456a1fba368a14e78829e7984fd1934e8645aba","datavalue":{"value":{"amount":"+0.759215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2316147$7B57C62E-635E-4F72-8095-BC4974826209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3f2923a1ecb462c4744ca6466a89130fe51af7","datavalue":{"value":{"entity-type":"item","numeric-id":6165879,"id":"Q6165879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d691bf244bbdd0bec5309994410a4c380eaee8","datavalue":{"value":{"amount":"+0.75877476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2316147$0E3A6FF8-6561-49CE-BFB2-9897C572458B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37abd98e6d739665ca73132b448ee16d7ec9a6b3","datavalue":{"value":{"entity-type":"item","numeric-id":5407476,"id":"Q5407476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f452d72b31650b8ba07df7e1f558dfc2dc1280a0","datavalue":{"value":{"amount":"+0.75062287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2316147$360FCDFF-5AB1-43AA-B6C0-D881509CB1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f0db9e36702bb87768c7a4bbe34295dbf009b4","datavalue":{"value":{"entity-type":"item","numeric-id":2437222,"id":"Q2437222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1afd652dc4c22c91909c92463796a0e27ee9b3af","datavalue":{"value":{"amount":"+0.73978287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2316147$6F0659C7-56EE-43B1-942C-A8739E4324F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebee06b523647242092aaf8895e7f664e1b589ce","datavalue":{"value":{"entity-type":"item","numeric-id":5901794,"id":"Q5901794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eff05840aa29cda524d27880fc292cb29bed680","datavalue":{"value":{"amount":"+0.73468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2316147$F0463426-A1BC-47B5-93B8-E87958934EB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2316147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2316147"}}}}}