%0 Journal Article
%T BRANCH GR(O)BNER BASES ALGORITHM OVER BOOLEAN RING<br>布尔环上的分支Gr(o)bner基算法
%A SUN Yao
%A WANG Dingkang
%A <br>孙瑶
%A 王定康
%J 系统科学与数学
%D 2009
%I 
%X It is well known that Gr\"obner bases have extensive applications in many fields.In the recent years, many improvements have been made for the Gr\"obner algorithm,the most famous of which are the F4 and F5 algorithm introduced by Faug\`ere.Although both of the two algorithms have excellent efficiency,they need enormous memories during the computation. So we will present a new branch Gr\"obner bases algorithm based on the zdd data structure overthe boolean ring. This new algorithm not only lowers the usage of memories but also constrains the matrix generated in the computation within a reasonable size.In this paper, we will detail the theory and the proof of this basic algorithm and introduce the zdd data strucure and the branch strategy as well. For many cases, its implementation in Linux is superior to the F4 algorithm implemented by Steel in Magma.
%K Branch Gr\"obner bases
%K boolean ring
%K zdd data structure<br>分支Gr\"obner基
%K 布尔环
%K zdd数据结构.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=6E709DC38FA1D09A4B578DD0906875B5B44D4D294832BB8E&cid=37F46C35E03B4B86&jid=0CD45CC5E994895A7F41A783D4235EC2&aid=3C0BF66E986854DFCD4FAD56B73816BB&yid=DE12191FBD62783C&vid=771469D9D58C34FF&iid=9CF7A0430CBB2DFD&sid=F58A98E9A761BF85&eid=7671EBF56E8E19A5&journal_id=1000-0577&journal_name=系统科学与数学&referenced_num=0&reference_num=18