Polytype

Definitions

  • Webster's Revised Unabridged Dictionary
    • n Polytype (Print) A cast, or facsimile copy, of an engraved block, matter in type, etc.; as, a polytype in relief "By pressing the wood cut into semifluid metal, an intaglio matrix is produced: and from this matrix, in a similar way, a polytype in relief is obtained."
    • a Polytype (Print) Of or pertaining to polytypes; obtained by polytyping; as, a polytype plate.
    • v. t Polytype (Print) To produce a polytype of; as, to polytype an engraving.
    • ***
Century Dictionary and Cyclopedia
    • n polytype A cast or facsimile of an engraving, matter in type, etc., produced by pressing a woodcut or other plate into semi-fluid metal. An intaglio matrix is the result; and from this matrix, in a similar way, a polytype in relief is obtained.
    • polytype Pertaining to polytypage; produced by polytypage.
    • polytype To reproduce by polytypage: as, to polytype an engraving.
    • ***
Chambers's Twentieth Century Dictionary
    • n Polytype pol′i-tīp a cast or fac-simile of an engraving, matter in type, &c., produced by pressing a wood-cut or other plate into semi-fluid metal
    • v.t Polytype to reproduce by polytypage—also adj.n. Pol′ytypage, stereotyping by the above method
    • ***

Etymology

Webster's Revised Unabridged Dictionary
Poly-, + -type,: cf. F. polytype, a

Usage

In literature:

Polytypic genera, variation of.
"More Letters of Charles Darwin Volume II" by Charles Darwin
The bar of mutual sterility, whenever and wherever it occurs, must always render polytypic evolution possible.
"Darwin, and After Darwin (Vol 3 of 3)" by George John Romanes
Two Recent species, each polytypic with eight subspecies, and five fossil species are recognized.
"Speciation and Evolution of the Pygmy Mice, Genus Baiomys" by Robert L. Packard
***

In news:

Manufacturers EFI VUTEk, HP Scitex, Inca, Polytype, Océ, and Mimaki provided test submissions of UV-curable output on selected media.
Polytype's Virtu Quantum Series Wins Buyer Approval Following Drupa Launch.
Polytype America Corporation (PAC), in conjunction with our partner swissQprint AG, are pleased to bring yet another feature to the US marketplace that will change the way you look at printing.
***

In science:

As an aside, the term crushing has been coined in the related context of polytypic programming [Mee96].
Typed Generic Traversal With Term Rewriting Strategies
Several forms of polymorphism were proposed that go beyond parametric polymorphism, namely dynamic typing [ACPP91, ACPR92], extensional polymorphism [DRW95], intensional polymorphism [HM95], and polytypism [JJ97]. A general observation is that none of the available systems subsumes γ .
Typed Generic Traversal With Term Rewriting Strategies
Extensional polymorphism, intensional polymorphism and polytypism have in common that they offer some form of generic function defini tion based on structural pattern matching on types.
Typed Generic Traversal With Term Rewriting Strategies
In fact, polytypic programming considers algebraic datatypes as sums of products, and adds a corresponding pattern for type induction.
Typed Generic Traversal With Term Rewriting Strategies
This shortcoming has been addressed in recent work on polytypic programming to some extent, namely different proposals for Generic Haskell include support for some form of type-speci fic cases (cf. ad-hoc definitions in [Hin99]) in an otherwise structural in duction on types.
Typed Generic Traversal With Term Rewriting Strategies
Firstly, polytypic functions are not first-class citizens.
Typed Generic Traversal With Term Rewriting Strategies
In particular, one canno t pass a polytypic function as an argument to another polytypic function.
Typed Generic Traversal With Term Rewriting Strategies
Secondly, type case is based on polytypic function defi nition as a top-level form of declaration.
Typed Generic Traversal With Term Rewriting Strategies
More generally, polytypic programming does not support combinator style of generic programming whereas strategic programming relies on combinator style.
Typed Generic Traversal With Term Rewriting Strategies
Silicon carbide exists in many (>70) different crystal structures, known as polytypes.
Silicon carbide absorption features: dust formation in the outflows of extreme carbon stars
H polytype; (5) that with one exception, SiC grains have not been found in the cores of carbon presolar grains (unlike other carbides: TiC, ZrC, and MoC); and (6) that the grain size distribution includes both very small and very large grains (1.5 nm → 26 µm), with most grains in the 0.1–1µm range.
Silicon carbide absorption features: dust formation in the outflows of extreme carbon stars
Recently, the ZB - WZ polytypism in binary octet semiconductors have been studied by the group of Alex Zunger in terms of quantum mechanically defined atomic-orbital radii.
Relative stability of zincblende and wurtzite structure in CdX(X = S, Se, Te) series - A NMTO study
SiC slab neglects the formation of intrinsic dipoles formed at the (0001) direction of hexagonal SiC polytypes and may undermine their doping contributions.
Role of covalent and metallic intercalation on the electronic properties of epitaxial graphene on SiC(0001)
TiSe2 is a layered material with hexagonal layers of Ti sandwiched between layers of Se atoms: a 1T-polytype transition metal dichalcogenide.
Preformed Excitons, Orbital Selectivity, and Charge-Density-Wave Order in 1T-TiSe_2
In the present case, we are interested in the gross features of the model, so we adopt simple forms fitted to the cohesive energies and volume of the high and low pressure polytypes of caesium.
Two-band second moment model and an interatomic potential for caesium
***