Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approaches for manipulating constructible sets. In this paper, for an arbitrary finite set F ⊂ R[y1, . . . , yn] we apply comprehensive triangular decomposition in order to obtain an F -invariant cylindrical decomposition of the n-dimensional complex space, from which we extract an F -invariant cylindrical algebraic decomposition of the n-dimensional real space. We report on an implementation of this new approach for constructing cylindrical algebraic decompositions.
In this paper, we suggest a novel potential superhard material, a new carbon nitride phase consisted of sp(3) hybridized bonds, possessing a cubic P2(1)3 symmetry (8 atoms/cell, labeled by cg-CN) which is similar to cubic gauche nitrogen (cg-N) by first-principles calculations. It is a metallic compound, while most of other superhard materials are insulators or semiconductors. The Vickers hardness of cg-CN is 82.56 GPa, and if we considered the negative effect of metallic component on hardness, it is 54.7 GPa, which is much harder than any other metallic materials. It is found that a three-dimensional C-N network is mainly responsible for the high hardness. Both elastic constant and phonon-dispersion calculations show that this structure remains mechanically and dynamically stable in the pressure ranges from 0 to 100 GPa. Furthermore, we compared our results with many other proposed structures of carbon nitride with 1:1 stoichiometry and found that only cg-CN is the most favorable stable crystal structure. Formation enthalpies calculations demonstrate that this material can be synthesizable at high pressure (12.7-36.4 GPa).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.