Series of Books

[DerDrodt]

Assume a BibLaTeX entry like:

@book{DBLP:series-lncs-10001,
  editor       = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich},
  title        = {Deductive Software Verification -- The {KeY} Book},
  subtitle     = {From Theory to Practice},
  series       = {Lecture Notes in Computer Science},
  volume       = {10001},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-49812-6},
  doi          = {10.1007/978-3-319-49812-6},
  isbn         = {978-3-319-49811-9},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/10001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

How would I encode the series of the book in Hayagriva? There is no field for this nor is there a fitting entry type that could be a parent.

[reknih]

We represent series as a parent of the same type normally, but you're right that this should be documented somewhere

[DerDrodt]

But then I am not sure that the translation works properly.

Using the CLI, I am given:

DBLP:series-lncs-10001:
  type: book
  title: Deductive Software Verification -- The {KeY} Book
  date: 2016
  editor:
  - Ahrendt, Wolfgang
  - Beckert, Bernhard
  - Bubel, Richard
  - Hähnle, Reiner
  - Schmitt, Peter H.
  - Ulbrich, Mattias
  publisher: Springer
  volume: 10001
  url: https://doi.org/10.1007/978-3-319-49812-6
  serial-number:
    doi: 10.1007/978-3-319-49812-6
    isbn: 978-3-319-49811-9
  parent:
    type: book
    title: Lecture Notes in Computer Science

Typst then writes the volume after the book title and the series title. It seems there is some confusion what to do with the volume when it comes to a series of books.

[DerDrodt]

My question is still unresolved: How can I encode this in hayagriva?

Should I set the issue or volume property? The BibLaTeX documentation implies that the "number" field is correct, because it is "The number of a journal or the volume/number of a book in a series" (https://ctan.ebinger.cc/tex-archive/macros/latex/contrib/biblatex/doc/biblatex.pdf).

Where should it be set? In the parent or the entry? It seems to me that hayagriva needs a number field, distinct from volume and issue.