{"title":"dd有限函数的一个明智的实现","authors":"Antonio Jiménez-Pastor","doi":"10.1145/3371991.3371997","DOIUrl":null,"url":null,"abstract":"We present here the Sage package dd_functions which provides many features to compute with DD-finite functions, a natural extension of the class of holonomic or D-finite functions. The package, focused on a functional approach, allows the user to compute closure properties, extract coefficient sequences and compute the composition (as formal power series) of functions treated in this package. All these operations reduce the problem to linear algebra computations where classical division-free algorithms are used.","PeriodicalId":7093,"journal":{"name":"ACM Commun. Comput. Algebra","volume":"45 1","pages":"53-56"},"PeriodicalIF":0.0000,"publicationDate":"2019-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A sage implementation for DD-finite functions\",\"authors\":\"Antonio Jiménez-Pastor\",\"doi\":\"10.1145/3371991.3371997\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present here the Sage package dd_functions which provides many features to compute with DD-finite functions, a natural extension of the class of holonomic or D-finite functions. The package, focused on a functional approach, allows the user to compute closure properties, extract coefficient sequences and compute the composition (as formal power series) of functions treated in this package. All these operations reduce the problem to linear algebra computations where classical division-free algorithms are used.\",\"PeriodicalId\":7093,\"journal\":{\"name\":\"ACM Commun. Comput. Algebra\",\"volume\":\"45 1\",\"pages\":\"53-56\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-11-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM Commun. Comput. Algebra\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3371991.3371997\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM Commun. Comput. Algebra","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3371991.3371997","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We present here the Sage package dd_functions which provides many features to compute with DD-finite functions, a natural extension of the class of holonomic or D-finite functions. The package, focused on a functional approach, allows the user to compute closure properties, extract coefficient sequences and compute the composition (as formal power series) of functions treated in this package. All these operations reduce the problem to linear algebra computations where classical division-free algorithms are used.