sts 0.4.0 → 0.4.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/.rubocop_todo.yml +4 -8
- data/lib/sts/niso_sts/abstract.rb +23 -0
- data/lib/sts/niso_sts/access_date.rb +20 -0
- data/lib/sts/niso_sts/accrediting_organization.rb +16 -0
- data/lib/sts/niso_sts/ack.rb +27 -0
- data/lib/sts/niso_sts/addr_line.rb +20 -0
- data/lib/sts/niso_sts/address.rb +29 -0
- data/lib/sts/niso_sts/aff.rb +51 -0
- data/lib/sts/niso_sts/aff_alternatives.rb +15 -0
- data/lib/sts/niso_sts/ali/ali.rb +10 -0
- data/lib/sts/niso_sts/ali/free_to_read.rb +25 -0
- data/lib/sts/niso_sts/ali/license_ref.rb +26 -0
- data/lib/sts/niso_sts/alt_text.rb +16 -0
- data/lib/sts/niso_sts/alt_title.rb +16 -0
- data/lib/sts/niso_sts/alternatives.rb +16 -0
- data/lib/sts/niso_sts/annotation.rb +26 -0
- data/lib/sts/niso_sts/anonymous.rb +11 -0
- data/lib/sts/niso_sts/article_title.rb +20 -0
- data/lib/sts/niso_sts/attrib.rb +16 -0
- data/lib/sts/niso_sts/attribution.rb +16 -0
- data/lib/sts/niso_sts/author_comment.rb +24 -0
- data/lib/sts/niso_sts/author_notes.rb +31 -0
- data/lib/sts/niso_sts/authorization.rb +16 -0
- data/lib/sts/niso_sts/award_group.rb +26 -0
- data/lib/sts/niso_sts/award_id.rb +20 -0
- data/lib/sts/niso_sts/bio.rb +24 -0
- data/lib/sts/niso_sts/boxed_text.rb +31 -0
- data/lib/sts/niso_sts/chapter_title.rb +20 -0
- data/lib/sts/niso_sts/chem_struct.rb +16 -0
- data/lib/sts/niso_sts/chem_struct_wrap.rb +32 -0
- data/lib/sts/niso_sts/citation_alternatives.rb +19 -0
- data/lib/sts/niso_sts/city.rb +20 -0
- data/lib/sts/niso_sts/collab.rb +28 -0
- data/lib/sts/niso_sts/collab_alternatives.rb +15 -0
- data/lib/sts/niso_sts/comm_ref_group.rb +15 -0
- data/lib/sts/niso_sts/comment.rb +16 -0
- data/lib/sts/niso_sts/compound_kwd.rb +25 -0
- data/lib/sts/niso_sts/compound_kwd_part.rb +24 -0
- data/lib/sts/niso_sts/conf_acronym.rb +16 -0
- data/lib/sts/niso_sts/conf_date.rb +20 -0
- data/lib/sts/niso_sts/conf_loc.rb +16 -0
- data/lib/sts/niso_sts/conf_name.rb +16 -0
- data/lib/sts/niso_sts/conf_num.rb +16 -0
- data/lib/sts/niso_sts/conf_sponsor.rb +16 -0
- data/lib/sts/niso_sts/conf_theme.rb +16 -0
- data/lib/sts/niso_sts/conference.rb +29 -0
- data/lib/sts/niso_sts/content_language.rb +20 -0
- data/lib/sts/niso_sts/contrib.rb +58 -0
- data/lib/sts/niso_sts/contrib_group.rb +22 -0
- data/lib/sts/niso_sts/contrib_id.rb +20 -0
- data/lib/sts/niso_sts/copyright_holder.rb +16 -0
- data/lib/sts/niso_sts/copyright_statement.rb +16 -0
- data/lib/sts/niso_sts/copyright_year.rb +16 -0
- data/lib/sts/niso_sts/corresp.rb +20 -0
- data/lib/sts/niso_sts/country.rb +20 -0
- data/lib/sts/niso_sts/counts.rb +25 -0
- data/lib/sts/niso_sts/data_title.rb +20 -0
- data/lib/sts/niso_sts/date.rb +25 -0
- data/lib/sts/niso_sts/date_in_citation.rb +25 -0
- data/lib/sts/niso_sts/day.rb +16 -0
- data/lib/sts/niso_sts/degrees.rb +20 -0
- data/lib/sts/niso_sts/disp_formula_group.rb +26 -0
- data/lib/sts/niso_sts/disp_quote.rb +27 -0
- data/lib/sts/niso_sts/doc_number.rb +16 -0
- data/lib/sts/niso_sts/doc_type.rb +16 -0
- data/lib/sts/niso_sts/editing_instruction.rb +24 -0
- data/lib/sts/niso_sts/edition.rb +16 -0
- data/lib/sts/niso_sts/element_citation.rb +103 -0
- data/lib/sts/niso_sts/elocation_id.rb +17 -0
- data/lib/sts/niso_sts/email.rb +20 -0
- data/lib/sts/niso_sts/equation_count.rb +14 -0
- data/lib/sts/niso_sts/era.rb +16 -0
- data/lib/sts/niso_sts/etal.rb +22 -0
- data/lib/sts/niso_sts/fax.rb +20 -0
- data/lib/sts/niso_sts/fig_count.rb +14 -0
- data/lib/sts/niso_sts/fig_group.rb +30 -0
- data/lib/sts/niso_sts/floats_group.rb +16 -0
- data/lib/sts/niso_sts/fpage.rb +20 -0
- data/lib/sts/niso_sts/funding_group.rb +22 -0
- data/lib/sts/niso_sts/funding_source.rb +26 -0
- data/lib/sts/niso_sts/funding_statement.rb +20 -0
- data/lib/sts/niso_sts/given_names.rb +20 -0
- data/lib/sts/niso_sts/glossary.rb +33 -0
- data/lib/sts/niso_sts/gov.rb +20 -0
- data/lib/sts/niso_sts/history.rb +18 -0
- data/lib/sts/niso_sts/hr.rb +11 -0
- data/lib/sts/niso_sts/ics.rb +15 -0
- data/lib/sts/niso_sts/ics_desc.rb +16 -0
- data/lib/sts/niso_sts/ics_wrap.rb +15 -0
- data/lib/sts/niso_sts/index_term.rb +32 -0
- data/lib/sts/niso_sts/index_term_range_end.rb +17 -0
- data/lib/sts/niso_sts/inline_graphic.rb +39 -0
- data/lib/sts/niso_sts/inline_supplementary_material.rb +38 -0
- data/lib/sts/niso_sts/institution.rb +20 -0
- data/lib/sts/niso_sts/institution_id.rb +18 -0
- data/lib/sts/niso_sts/institution_wrap.rb +17 -0
- data/lib/sts/niso_sts/intro.rb +16 -0
- data/lib/sts/niso_sts/is_proof.rb +15 -0
- data/lib/sts/niso_sts/isbn.rb +20 -0
- data/lib/sts/niso_sts/issn.rb +22 -0
- data/lib/sts/niso_sts/issn_l.rb +20 -0
- data/lib/sts/niso_sts/issue.rb +20 -0
- data/lib/sts/niso_sts/kwd.rb +26 -0
- data/lib/sts/niso_sts/kwd_group.rb +35 -0
- data/lib/sts/niso_sts/license.rb +19 -0
- data/lib/sts/niso_sts/license_p.rb +16 -0
- data/lib/sts/niso_sts/long_desc.rb +22 -0
- data/lib/sts/niso_sts/lpage.rb +20 -0
- data/lib/sts/niso_sts/main.rb +16 -0
- data/lib/sts/niso_sts/mathml.rb +69 -0
- data/lib/sts/niso_sts/media.rb +44 -0
- data/lib/sts/niso_sts/milestone_end.rb +26 -0
- data/lib/sts/niso_sts/milestone_start.rb +24 -0
- data/lib/sts/niso_sts/mixed_citation.rb +98 -5
- data/lib/sts/niso_sts/mml_content/apply.rb +47 -0
- data/lib/sts/niso_sts/mml_content/bind.rb +22 -0
- data/lib/sts/niso_sts/mml_content/calculus.rb +77 -0
- data/lib/sts/niso_sts/mml_content/ci.rb +22 -0
- data/lib/sts/niso_sts/mml_content/cn.rb +24 -0
- data/lib/sts/niso_sts/mml_content/constants.rb +114 -0
- data/lib/sts/niso_sts/mml_content/containers.rb +104 -0
- data/lib/sts/niso_sts/mml_content/csymbol.rb +24 -0
- data/lib/sts/niso_sts/mml_content/functional.rb +110 -0
- data/lib/sts/niso_sts/mml_content/linear_algebra.rb +98 -0
- data/lib/sts/niso_sts/mml_content/operators.rb +154 -0
- data/lib/sts/niso_sts/mml_content/qualifiers.rb +111 -0
- data/lib/sts/niso_sts/mml_content/relations.rb +84 -0
- data/lib/sts/niso_sts/mml_content/sets.rb +84 -0
- data/lib/sts/niso_sts/mml_content/statistics.rb +49 -0
- data/lib/sts/niso_sts/mml_content/trigonometry.rb +135 -0
- data/lib/sts/niso_sts/mml_content.rb +152 -0
- data/lib/sts/niso_sts/monospace.rb +22 -0
- data/lib/sts/niso_sts/month.rb +16 -0
- data/lib/sts/niso_sts/name.rb +25 -0
- data/lib/sts/niso_sts/name_alternatives.rb +15 -0
- data/lib/sts/niso_sts/nat_meta.rb +44 -0
- data/lib/sts/niso_sts/nested_kwd.rb +19 -0
- data/lib/sts/niso_sts/nlm_citation.rb +103 -0
- data/lib/sts/niso_sts/normative_example.rb +27 -0
- data/lib/sts/niso_sts/normative_note.rb +29 -0
- data/lib/sts/niso_sts/note.rb +29 -0
- data/lib/sts/niso_sts/notes.rb +31 -0
- data/lib/sts/niso_sts/notes_group.rb +26 -0
- data/lib/sts/niso_sts/on_behalf_of.rb +20 -0
- data/lib/sts/niso_sts/open_access.rb +16 -0
- data/lib/sts/niso_sts/originator.rb +16 -0
- data/lib/sts/niso_sts/overline.rb +22 -0
- data/lib/sts/niso_sts/page_range.rb +20 -0
- data/lib/sts/niso_sts/paragraph.rb +2 -2
- data/lib/sts/niso_sts/part_number.rb +16 -0
- data/lib/sts/niso_sts/part_of_speech.rb +16 -0
- data/lib/sts/niso_sts/patent.rb +20 -0
- data/lib/sts/niso_sts/person_group.rb +28 -0
- data/lib/sts/niso_sts/phone.rb +20 -0
- data/lib/sts/niso_sts/postal_code.rb +20 -0
- data/lib/sts/niso_sts/prefix.rb +20 -0
- data/lib/sts/niso_sts/preformat.rb +26 -0
- data/lib/sts/niso_sts/price.rb +16 -0
- data/lib/sts/niso_sts/principal_award_recipient.rb +16 -0
- data/lib/sts/niso_sts/principal_investigator.rb +16 -0
- data/lib/sts/niso_sts/private_char.rb +22 -0
- data/lib/sts/niso_sts/product.rb +20 -0
- data/lib/sts/niso_sts/proj_id.rb +16 -0
- data/lib/sts/niso_sts/pub_date.rb +29 -0
- data/lib/sts/niso_sts/pub_id.rb +19 -0
- data/lib/sts/niso_sts/publisher.rb +17 -0
- data/lib/sts/niso_sts/publisher_loc.rb +20 -0
- data/lib/sts/niso_sts/publisher_name.rb +20 -0
- data/lib/sts/niso_sts/rb.rb +22 -0
- data/lib/sts/niso_sts/ref_count.rb +14 -0
- data/lib/sts/niso_sts/reference.rb +6 -0
- data/lib/sts/niso_sts/reg_meta.rb +44 -0
- data/lib/sts/niso_sts/related_article.rb +24 -0
- data/lib/sts/niso_sts/related_object.rb +22 -0
- data/lib/sts/niso_sts/related_term.rb +18 -0
- data/lib/sts/niso_sts/release_date.rb +19 -0
- data/lib/sts/niso_sts/release_version.rb +16 -0
- data/lib/sts/niso_sts/release_version_id.rb +16 -0
- data/lib/sts/niso_sts/role.rb +22 -0
- data/lib/sts/niso_sts/roman.rb +22 -0
- data/lib/sts/niso_sts/rp.rb +18 -0
- data/lib/sts/niso_sts/rt.rb +22 -0
- data/lib/sts/niso_sts/ruby.rb +23 -0
- data/lib/sts/niso_sts/sans_serif.rb +22 -0
- data/lib/sts/niso_sts/sc.rb +22 -0
- data/lib/sts/niso_sts/sdo.rb +16 -0
- data/lib/sts/niso_sts/season.rb +16 -0
- data/lib/sts/niso_sts/secretariat.rb +16 -0
- data/lib/sts/niso_sts/see.rb +26 -0
- data/lib/sts/niso_sts/see_also.rb +26 -0
- data/lib/sts/niso_sts/self_uri.rb +22 -0
- data/lib/sts/niso_sts/series.rb +22 -0
- data/lib/sts/niso_sts/series_text.rb +22 -0
- data/lib/sts/niso_sts/series_title.rb +22 -0
- data/lib/sts/niso_sts/sig.rb +18 -0
- data/lib/sts/niso_sts/sig_block.rb +22 -0
- data/lib/sts/niso_sts/size.rb +18 -0
- data/lib/sts/niso_sts/source.rb +20 -0
- data/lib/sts/niso_sts/speaker.rb +16 -0
- data/lib/sts/niso_sts/speech.rb +25 -0
- data/lib/sts/niso_sts/state.rb +20 -0
- data/lib/sts/niso_sts/statement.rb +29 -0
- data/lib/sts/niso_sts/std_doc_meta.rb +44 -0
- data/lib/sts/niso_sts/std_org.rb +25 -0
- data/lib/sts/niso_sts/std_org_abbrev.rb +16 -0
- data/lib/sts/niso_sts/std_org_group.rb +15 -0
- data/lib/sts/niso_sts/std_org_loc.rb +16 -0
- data/lib/sts/niso_sts/std_org_name.rb +16 -0
- data/lib/sts/niso_sts/std_organization.rb +16 -0
- data/lib/sts/niso_sts/strike.rb +22 -0
- data/lib/sts/niso_sts/string_conf.rb +16 -0
- data/lib/sts/niso_sts/string_date.rb +16 -0
- data/lib/sts/niso_sts/string_name.rb +24 -0
- data/lib/sts/niso_sts/styled_content.rb +26 -0
- data/lib/sts/niso_sts/sub.rb +20 -0
- data/lib/sts/niso_sts/subj_group.rb +24 -0
- data/lib/sts/niso_sts/subject.rb +24 -0
- data/lib/sts/niso_sts/subtitle.rb +16 -0
- data/lib/sts/niso_sts/suffix.rb +20 -0
- data/lib/sts/niso_sts/sup.rb +20 -0
- data/lib/sts/niso_sts/suppl_number.rb +16 -0
- data/lib/sts/niso_sts/suppl_type.rb +16 -0
- data/lib/sts/niso_sts/suppl_version.rb +16 -0
- data/lib/sts/niso_sts/supplement.rb +24 -0
- data/lib/sts/niso_sts/supplementary_material.rb +46 -0
- data/lib/sts/niso_sts/surname.rb +20 -0
- data/lib/sts/niso_sts/table_count.rb +14 -0
- data/lib/sts/niso_sts/target.rb +24 -0
- data/lib/sts/niso_sts/term.rb +4 -2
- data/lib/sts/niso_sts/term_head.rb +16 -0
- data/lib/sts/niso_sts/term_source.rb +16 -0
- data/lib/sts/niso_sts/tex_math.rb +16 -0
- data/lib/sts/niso_sts/textual_form.rb +16 -0
- data/lib/sts/niso_sts/time_stamp.rb +20 -0
- data/lib/sts/niso_sts/trans_abstract.rb +23 -0
- data/lib/sts/niso_sts/trans_source.rb +20 -0
- data/lib/sts/niso_sts/trans_title.rb +20 -0
- data/lib/sts/niso_sts/trans_title_group.rb +15 -0
- data/lib/sts/niso_sts/underline.rb +22 -0
- data/lib/sts/niso_sts/unstructured_kwd_group.rb +24 -0
- data/lib/sts/niso_sts/uri.rb +20 -0
- data/lib/sts/niso_sts/urn.rb +16 -0
- data/lib/sts/niso_sts/verse_group.rb +29 -0
- data/lib/sts/niso_sts/verse_line.rb +16 -0
- data/lib/sts/niso_sts/version.rb +16 -0
- data/lib/sts/niso_sts/volume.rb +20 -0
- data/lib/sts/niso_sts/volume_id.rb +22 -0
- data/lib/sts/niso_sts/volume_issue_group.rb +16 -0
- data/lib/sts/niso_sts/volume_series.rb +16 -0
- data/lib/sts/niso_sts/word_count.rb +14 -0
- data/lib/sts/niso_sts/xi/fallback.rb +18 -0
- data/lib/sts/niso_sts/xi/include.rb +27 -0
- data/lib/sts/niso_sts/xi/xi.rb +10 -0
- data/lib/sts/niso_sts/year.rb +16 -0
- data/lib/sts/niso_sts.rb +233 -1
- data/lib/sts/tbx_iso_tml/td.rb +3 -3
- data/lib/sts/version.rb +1 -1
- data/lib/sts.rb +1 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/NISO-STS-extended-1-mathml3-elements.xsd +11447 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/NISO-STS-extended-1-mathml3.xsd +97 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/module-oasis.xsd +227 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/standard-modules/mathml3/mathml3-common.xsd +101 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/standard-modules/mathml3/mathml3-content.xsd +683 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/standard-modules/mathml3/mathml3-presentation.xsd +2092 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/standard-modules/mathml3/mathml3-strict-content.xsd +186 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/standard-modules/mathml3/mathml3.xsd +9 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/standard-modules/module-ali.xsd +46 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/standard-modules/module-tbx.xsd +494 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/standard-modules/module-xi.xsd +51 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/standard-modules/xlink.xsd +100 -0
- data/reference-docs/NISO-STS-extended-1-MathML3-XSD/standard-modules/xml.xsd +287 -0
- metadata +264 -2
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
module Sts
|
|
4
|
+
module NisoSts
|
|
5
|
+
class MilestoneStart < Lutaml::Model::Serializable
|
|
6
|
+
attribute :id, :string
|
|
7
|
+
attribute :content_type, :string
|
|
8
|
+
attribute :rationale, :string
|
|
9
|
+
attribute :specific_use, :string
|
|
10
|
+
attribute :content, :string
|
|
11
|
+
|
|
12
|
+
xml do
|
|
13
|
+
element "milestone-start"
|
|
14
|
+
mixed_content
|
|
15
|
+
|
|
16
|
+
map_attribute "id", to: :id
|
|
17
|
+
map_attribute "content-type", to: :content_type
|
|
18
|
+
map_attribute "rationale", to: :rationale
|
|
19
|
+
map_attribute "specific-use", to: :specific_use
|
|
20
|
+
map_content to: :content
|
|
21
|
+
end
|
|
22
|
+
end
|
|
23
|
+
end
|
|
24
|
+
end
|
|
@@ -1,28 +1,121 @@
|
|
|
1
|
-
#
|
|
1
|
+
# frozen_string_literal: true
|
|
2
2
|
|
|
3
|
+
# rubocop:disable Metrics/BlockLength
|
|
3
4
|
module Sts
|
|
4
5
|
module NisoSts
|
|
5
6
|
class MixedCitation < Lutaml::Model::Serializable
|
|
6
7
|
attribute :content, :string
|
|
7
|
-
attribute :bold, :string
|
|
8
|
-
attribute :italic, :string
|
|
9
8
|
attribute :publication_type, :string
|
|
9
|
+
attribute :bold, ::Sts::TbxIsoTml::Bold, collection: true
|
|
10
|
+
attribute :italic, ::Sts::TbxIsoTml::Italic, collection: true
|
|
10
11
|
attribute :std, ::Sts::NisoSts::ReferenceStandard, collection: true
|
|
11
|
-
attribute :ext_link, ::Sts::NisoSts::ExtLink
|
|
12
|
+
attribute :ext_link, ::Sts::NisoSts::ExtLink, collection: true
|
|
13
|
+
attribute :person_group, ::Sts::NisoSts::PersonGroup, collection: true
|
|
14
|
+
attribute :article_title, ::Sts::NisoSts::ArticleTitle
|
|
15
|
+
attribute :source, ::Sts::NisoSts::Source
|
|
16
|
+
attribute :trans_source, ::Sts::NisoSts::TransSource
|
|
17
|
+
attribute :chapter_title, ::Sts::NisoSts::ChapterTitle
|
|
18
|
+
attribute :data_title, ::Sts::NisoSts::DataTitle
|
|
19
|
+
attribute :trans_title, ::Sts::NisoSts::TransTitle
|
|
20
|
+
attribute :trans_title_group, ::Sts::NisoSts::TransTitleGroup
|
|
21
|
+
attribute :edition, ::Sts::NisoSts::Edition
|
|
22
|
+
attribute :volume, ::Sts::NisoSts::Volume
|
|
23
|
+
attribute :issue, ::Sts::NisoSts::Issue
|
|
24
|
+
attribute :pub_id, ::Sts::NisoSts::PubId, collection: true
|
|
25
|
+
attribute :isbn, ::Sts::NisoSts::Isbn
|
|
26
|
+
attribute :issn, ::Sts::NisoSts::Issn
|
|
27
|
+
attribute :issn_l, ::Sts::NisoSts::IssnL
|
|
28
|
+
attribute :fpage, ::Sts::NisoSts::Fpage
|
|
29
|
+
attribute :lpage, ::Sts::NisoSts::Lpage
|
|
30
|
+
attribute :page_range, ::Sts::NisoSts::PageRange
|
|
31
|
+
attribute :elocation_id, ::Sts::NisoSts::ElocationId
|
|
32
|
+
attribute :date, ::Sts::NisoSts::Date
|
|
33
|
+
attribute :date_in_citation, ::Sts::NisoSts::DateInCitation
|
|
34
|
+
attribute :access_date, ::Sts::NisoSts::AccessDate
|
|
35
|
+
attribute :time_stamp, ::Sts::NisoSts::TimeStamp
|
|
36
|
+
attribute :conf_name, ::Sts::NisoSts::ConfName
|
|
37
|
+
attribute :conf_date, ::Sts::NisoSts::ConfDate
|
|
38
|
+
attribute :conf_loc, ::Sts::NisoSts::ConfLoc
|
|
39
|
+
attribute :conference, ::Sts::NisoSts::Conference
|
|
40
|
+
attribute :size, ::Sts::NisoSts::Size
|
|
41
|
+
attribute :series, ::Sts::NisoSts::Series
|
|
42
|
+
attribute :series_title, ::Sts::NisoSts::SeriesTitle
|
|
43
|
+
attribute :series_text, ::Sts::NisoSts::SeriesText
|
|
44
|
+
attribute :comment, ::Sts::NisoSts::Comment
|
|
45
|
+
attribute :annotation, ::Sts::NisoSts::Annotation
|
|
46
|
+
attribute :patent, ::Sts::NisoSts::Patent
|
|
47
|
+
attribute :gov, ::Sts::NisoSts::Gov
|
|
48
|
+
attribute :aff, ::Sts::NisoSts::Aff, collection: true
|
|
49
|
+
attribute :aff_alternatives, ::Sts::NisoSts::AffAlternatives
|
|
50
|
+
attribute :collab, ::Sts::NisoSts::Collab, collection: true
|
|
51
|
+
attribute :etal, ::Sts::NisoSts::Etal
|
|
52
|
+
attribute :name, ::Sts::NisoSts::Name, collection: true
|
|
53
|
+
attribute :name_alternatives, ::Sts::NisoSts::NameAlternatives
|
|
54
|
+
attribute :string_name, ::Sts::NisoSts::StringName, collection: true
|
|
55
|
+
attribute :institution_wrap, ::Sts::NisoSts::InstitutionWrap
|
|
56
|
+
attribute :institution, ::Sts::NisoSts::Institution, collection: true
|
|
57
|
+
attribute :publisher, ::Sts::NisoSts::Publisher
|
|
58
|
+
attribute :price, :string
|
|
12
59
|
|
|
13
60
|
xml do
|
|
14
61
|
element "mixed-citation"
|
|
15
62
|
mixed_content
|
|
16
63
|
|
|
17
64
|
map_content to: :content
|
|
18
|
-
|
|
19
65
|
map_attribute "publication-type", to: :publication_type
|
|
20
66
|
|
|
21
67
|
map_element "bold", to: :bold
|
|
22
68
|
map_element "italic", to: :italic
|
|
23
69
|
map_element "std", to: :std
|
|
24
70
|
map_element "ext-link", to: :ext_link
|
|
71
|
+
map_element "person-group", to: :person_group
|
|
72
|
+
map_element "article-title", to: :article_title
|
|
73
|
+
map_element "source", to: :source
|
|
74
|
+
map_element "trans-source", to: :trans_source
|
|
75
|
+
map_element "chapter-title", to: :chapter_title
|
|
76
|
+
map_element "data-title", to: :data_title
|
|
77
|
+
map_element "trans-title", to: :trans_title
|
|
78
|
+
map_element "trans-title-group", to: :trans_title_group
|
|
79
|
+
map_element "edition", to: :edition
|
|
80
|
+
map_element "volume", to: :volume
|
|
81
|
+
map_element "issue", to: :issue
|
|
82
|
+
map_element "pub-id", to: :pub_id
|
|
83
|
+
map_element "isbn", to: :isbn
|
|
84
|
+
map_element "issn", to: :issn
|
|
85
|
+
map_element "issn-l", to: :issn_l
|
|
86
|
+
map_element "fpage", to: :fpage
|
|
87
|
+
map_element "lpage", to: :lpage
|
|
88
|
+
map_element "page-range", to: :page_range
|
|
89
|
+
map_element "elocation-id", to: :elocation_id
|
|
90
|
+
map_element "date", to: :date
|
|
91
|
+
map_element "date-in-citation", to: :date_in_citation
|
|
92
|
+
map_element "access-date", to: :access_date
|
|
93
|
+
map_element "time-stamp", to: :time_stamp
|
|
94
|
+
map_element "conf-name", to: :conf_name
|
|
95
|
+
map_element "conf-date", to: :conf_date
|
|
96
|
+
map_element "conf-loc", to: :conf_loc
|
|
97
|
+
map_element "conference", to: :conference
|
|
98
|
+
map_element "size", to: :size
|
|
99
|
+
map_element "series", to: :series
|
|
100
|
+
map_element "series-title", to: :series_title
|
|
101
|
+
map_element "series-text", to: :series_text
|
|
102
|
+
map_element "comment", to: :comment
|
|
103
|
+
map_element "annotation", to: :annotation
|
|
104
|
+
map_element "patent", to: :patent
|
|
105
|
+
map_element "gov", to: :gov
|
|
106
|
+
map_element "aff", to: :aff
|
|
107
|
+
map_element "aff-alternatives", to: :aff_alternatives
|
|
108
|
+
map_element "collab", to: :collab
|
|
109
|
+
map_element "etal", to: :etal
|
|
110
|
+
map_element "name", to: :name
|
|
111
|
+
map_element "name-alternatives", to: :name_alternatives
|
|
112
|
+
map_element "string-name", to: :string_name
|
|
113
|
+
map_element "institution-wrap", to: :institution_wrap
|
|
114
|
+
map_element "institution", to: :institution
|
|
115
|
+
map_element "publisher", to: :publisher
|
|
116
|
+
map_element "price", to: :price
|
|
25
117
|
end
|
|
26
118
|
end
|
|
27
119
|
end
|
|
28
120
|
end
|
|
121
|
+
# rubocop:enable Metrics/BlockLength
|
|
@@ -0,0 +1,47 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
module Sts
|
|
4
|
+
module NisoSts
|
|
5
|
+
module MmlContent
|
|
6
|
+
# apply: Apply an operator to arguments
|
|
7
|
+
# Content: operator, bvar*, qualifier*, ContExp*
|
|
8
|
+
class Apply < Object
|
|
9
|
+
attribute :apply, Apply, collection: true
|
|
10
|
+
attribute :bind, Bind, collection: true
|
|
11
|
+
attribute :ci, Ci, collection: true
|
|
12
|
+
attribute :cn, Cn, collection: true
|
|
13
|
+
attribute :csymbol, Csymbol, collection: true
|
|
14
|
+
attribute :cbytes, Cbytes, collection: true
|
|
15
|
+
attribute :cerror, Cerror, collection: true
|
|
16
|
+
attribute :cs, Cs, collection: true
|
|
17
|
+
attribute :share, Share, collection: true
|
|
18
|
+
attribute :piecewise, Piecewise, collection: true
|
|
19
|
+
attribute :plus, Plus, collection: true
|
|
20
|
+
attribute :minus, Minus, collection: true
|
|
21
|
+
attribute :times, Times, collection: true
|
|
22
|
+
attribute :divide, Divide, collection: true
|
|
23
|
+
attribute :power, Power, collection: true
|
|
24
|
+
attribute :root, Root, collection: true
|
|
25
|
+
attribute :abs, Abs, collection: true
|
|
26
|
+
attribute :eq, Eq, collection: true
|
|
27
|
+
attribute :neq, Neq, collection: true
|
|
28
|
+
attribute :lt, Lt, collection: true
|
|
29
|
+
attribute :gt, Gt, collection: true
|
|
30
|
+
attribute :leq, Leq, collection: true
|
|
31
|
+
attribute :geq, Geq, collection: true
|
|
32
|
+
attribute :bvar, Bvar, collection: true
|
|
33
|
+
attribute :lambda, Lambda, collection: true
|
|
34
|
+
attribute :logbase, Logbase, collection: true
|
|
35
|
+
attribute :degree, Degree, collection: true
|
|
36
|
+
attribute :condition, Condition, collection: true
|
|
37
|
+
attribute :domainofapplication, Domainofapplication, collection: true
|
|
38
|
+
attribute :lowlimit, Lowlimit, collection: true
|
|
39
|
+
attribute :uplimit, Uplimit, collection: true
|
|
40
|
+
|
|
41
|
+
xml do
|
|
42
|
+
element "apply"
|
|
43
|
+
end
|
|
44
|
+
end
|
|
45
|
+
end
|
|
46
|
+
end
|
|
47
|
+
end
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
module Sts
|
|
4
|
+
module NisoSts
|
|
5
|
+
module MmlContent
|
|
6
|
+
# bind: Bind variables in an expression
|
|
7
|
+
# Content: binder, bvar+, ContExp*
|
|
8
|
+
class Bind < Object
|
|
9
|
+
attribute :bvar, Bvar, collection: true
|
|
10
|
+
attribute :apply, Apply, collection: true
|
|
11
|
+
attribute :ci, Ci, collection: true
|
|
12
|
+
attribute :cn, Cn, collection: true
|
|
13
|
+
attribute :csymbol, Csymbol, collection: true
|
|
14
|
+
attribute :lambda, Lambda, collection: true
|
|
15
|
+
|
|
16
|
+
xml do
|
|
17
|
+
element "bind"
|
|
18
|
+
end
|
|
19
|
+
end
|
|
20
|
+
end
|
|
21
|
+
end
|
|
22
|
+
end
|
|
@@ -0,0 +1,77 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
module Sts
|
|
4
|
+
module NisoSts
|
|
5
|
+
module MmlContent
|
|
6
|
+
# int: Definite or indefinite integral
|
|
7
|
+
class Int < Object
|
|
8
|
+
xml do
|
|
9
|
+
element "int"
|
|
10
|
+
end
|
|
11
|
+
end
|
|
12
|
+
|
|
13
|
+
# diff: Differentiation
|
|
14
|
+
class Diff < Object
|
|
15
|
+
xml do
|
|
16
|
+
element "diff"
|
|
17
|
+
end
|
|
18
|
+
end
|
|
19
|
+
|
|
20
|
+
# partialdiff: Partial differentiation
|
|
21
|
+
class Partialdiff < Object
|
|
22
|
+
xml do
|
|
23
|
+
element "partialdiff"
|
|
24
|
+
end
|
|
25
|
+
end
|
|
26
|
+
|
|
27
|
+
# grad: Gradient
|
|
28
|
+
class Grad < Object
|
|
29
|
+
xml do
|
|
30
|
+
element "grad"
|
|
31
|
+
end
|
|
32
|
+
end
|
|
33
|
+
|
|
34
|
+
# divergence: Divergence
|
|
35
|
+
class Divergence < Object
|
|
36
|
+
xml do
|
|
37
|
+
element "divergence"
|
|
38
|
+
end
|
|
39
|
+
end
|
|
40
|
+
|
|
41
|
+
# curl: Curl
|
|
42
|
+
class Curl < Object
|
|
43
|
+
xml do
|
|
44
|
+
element "curl"
|
|
45
|
+
end
|
|
46
|
+
end
|
|
47
|
+
|
|
48
|
+
# laplacian: Laplacian operator
|
|
49
|
+
class Laplacian < Object
|
|
50
|
+
xml do
|
|
51
|
+
element "laplacian"
|
|
52
|
+
end
|
|
53
|
+
end
|
|
54
|
+
|
|
55
|
+
# sum: Summation
|
|
56
|
+
class Sum < Object
|
|
57
|
+
xml do
|
|
58
|
+
element "sum"
|
|
59
|
+
end
|
|
60
|
+
end
|
|
61
|
+
|
|
62
|
+
# product: Product
|
|
63
|
+
class Product < Object
|
|
64
|
+
xml do
|
|
65
|
+
element "product"
|
|
66
|
+
end
|
|
67
|
+
end
|
|
68
|
+
|
|
69
|
+
# limit: Limit
|
|
70
|
+
class Limit < Object
|
|
71
|
+
xml do
|
|
72
|
+
element "limit"
|
|
73
|
+
end
|
|
74
|
+
end
|
|
75
|
+
end
|
|
76
|
+
end
|
|
77
|
+
end
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
module Sts
|
|
4
|
+
module NisoSts
|
|
5
|
+
module MmlContent
|
|
6
|
+
# ci: Content identifier (variable)
|
|
7
|
+
# Content: mixed (mglyph | PresentationExpression)*
|
|
8
|
+
# Attributes: type (optional)
|
|
9
|
+
class Ci < Object
|
|
10
|
+
attribute :content, :string
|
|
11
|
+
attribute :type, :string
|
|
12
|
+
|
|
13
|
+
xml do
|
|
14
|
+
element "ci"
|
|
15
|
+
|
|
16
|
+
map_content to: :content
|
|
17
|
+
map_attribute "type", to: :type
|
|
18
|
+
end
|
|
19
|
+
end
|
|
20
|
+
end
|
|
21
|
+
end
|
|
22
|
+
end
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
module Sts
|
|
4
|
+
module NisoSts
|
|
5
|
+
module MmlContent
|
|
6
|
+
# cn: Content number (literal)
|
|
7
|
+
# Content: mixed (mglyph | sep | PresentationExpression)*
|
|
8
|
+
# Attributes: type (optional), base (optional)
|
|
9
|
+
class Cn < Object
|
|
10
|
+
attribute :content, :string
|
|
11
|
+
attribute :type, :string
|
|
12
|
+
attribute :base, :string
|
|
13
|
+
|
|
14
|
+
xml do
|
|
15
|
+
element "cn"
|
|
16
|
+
|
|
17
|
+
map_content to: :content
|
|
18
|
+
map_attribute "type", to: :type
|
|
19
|
+
map_attribute "base", to: :base
|
|
20
|
+
end
|
|
21
|
+
end
|
|
22
|
+
end
|
|
23
|
+
end
|
|
24
|
+
end
|
|
@@ -0,0 +1,114 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
module Sts
|
|
4
|
+
module NisoSts
|
|
5
|
+
module MmlContent
|
|
6
|
+
# Constants
|
|
7
|
+
|
|
8
|
+
# integers: Set of integers
|
|
9
|
+
class Integers < Object
|
|
10
|
+
xml do
|
|
11
|
+
element "integers"
|
|
12
|
+
end
|
|
13
|
+
end
|
|
14
|
+
|
|
15
|
+
# reals: Set of real numbers
|
|
16
|
+
class Reals < Object
|
|
17
|
+
xml do
|
|
18
|
+
element "reals"
|
|
19
|
+
end
|
|
20
|
+
end
|
|
21
|
+
|
|
22
|
+
# rationals: Set of rational numbers
|
|
23
|
+
class Rationals < Object
|
|
24
|
+
xml do
|
|
25
|
+
element "rationals"
|
|
26
|
+
end
|
|
27
|
+
end
|
|
28
|
+
|
|
29
|
+
# naturalnumbers: Set of natural numbers
|
|
30
|
+
class Naturalnumbers < Object
|
|
31
|
+
xml do
|
|
32
|
+
element "naturalnumbers"
|
|
33
|
+
end
|
|
34
|
+
end
|
|
35
|
+
|
|
36
|
+
# complexes: Set of complex numbers
|
|
37
|
+
class Complexes < Object
|
|
38
|
+
xml do
|
|
39
|
+
element "complexes"
|
|
40
|
+
end
|
|
41
|
+
end
|
|
42
|
+
|
|
43
|
+
# primes: Set of prime numbers
|
|
44
|
+
class Primes < Object
|
|
45
|
+
xml do
|
|
46
|
+
element "primes"
|
|
47
|
+
end
|
|
48
|
+
end
|
|
49
|
+
|
|
50
|
+
# emptyset: Empty set
|
|
51
|
+
class Emptyset < Object
|
|
52
|
+
xml do
|
|
53
|
+
element "emptyset"
|
|
54
|
+
end
|
|
55
|
+
end
|
|
56
|
+
|
|
57
|
+
# exponentiale: Euler's number e
|
|
58
|
+
class Exponentiale < Object
|
|
59
|
+
xml do
|
|
60
|
+
element "exponentiale"
|
|
61
|
+
end
|
|
62
|
+
end
|
|
63
|
+
|
|
64
|
+
# imaginaryi: Imaginary unit i
|
|
65
|
+
class Imaginaryi < Object
|
|
66
|
+
xml do
|
|
67
|
+
element "imaginaryi"
|
|
68
|
+
end
|
|
69
|
+
end
|
|
70
|
+
|
|
71
|
+
# notanumber: NaN
|
|
72
|
+
class Notanumber < Object
|
|
73
|
+
xml do
|
|
74
|
+
element "notanumber"
|
|
75
|
+
end
|
|
76
|
+
end
|
|
77
|
+
|
|
78
|
+
# true: True
|
|
79
|
+
class True < Object
|
|
80
|
+
xml do
|
|
81
|
+
element "true"
|
|
82
|
+
end
|
|
83
|
+
end
|
|
84
|
+
|
|
85
|
+
# false: False
|
|
86
|
+
class False < Object
|
|
87
|
+
xml do
|
|
88
|
+
element "false"
|
|
89
|
+
end
|
|
90
|
+
end
|
|
91
|
+
|
|
92
|
+
# pi: Pi
|
|
93
|
+
class Pi < Object
|
|
94
|
+
xml do
|
|
95
|
+
element "pi"
|
|
96
|
+
end
|
|
97
|
+
end
|
|
98
|
+
|
|
99
|
+
# eulergamma: Euler-Mascheroni constant
|
|
100
|
+
class Eulergamma < Object
|
|
101
|
+
xml do
|
|
102
|
+
element "eulergamma"
|
|
103
|
+
end
|
|
104
|
+
end
|
|
105
|
+
|
|
106
|
+
# infinity: Infinity
|
|
107
|
+
class Infinity < Object
|
|
108
|
+
xml do
|
|
109
|
+
element "infinity"
|
|
110
|
+
end
|
|
111
|
+
end
|
|
112
|
+
end
|
|
113
|
+
end
|
|
114
|
+
end
|
|
@@ -0,0 +1,104 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
module Sts
|
|
4
|
+
module NisoSts
|
|
5
|
+
module MmlContent
|
|
6
|
+
# cbytes: Binary data element
|
|
7
|
+
class Cbytes < Object
|
|
8
|
+
attribute :content, :string
|
|
9
|
+
|
|
10
|
+
xml do
|
|
11
|
+
element "cbytes"
|
|
12
|
+
|
|
13
|
+
map_content to: :content
|
|
14
|
+
end
|
|
15
|
+
end
|
|
16
|
+
|
|
17
|
+
# cs: Arbitrary string element
|
|
18
|
+
class Cs < Object
|
|
19
|
+
attribute :content, :string
|
|
20
|
+
|
|
21
|
+
xml do
|
|
22
|
+
element "cs"
|
|
23
|
+
|
|
24
|
+
map_content to: :content
|
|
25
|
+
end
|
|
26
|
+
end
|
|
27
|
+
|
|
28
|
+
# share: Reference to shared expression
|
|
29
|
+
class Share < Object
|
|
30
|
+
attribute :src, :string, required: true
|
|
31
|
+
|
|
32
|
+
xml do
|
|
33
|
+
element "share"
|
|
34
|
+
|
|
35
|
+
map_attribute "src", to: :src
|
|
36
|
+
end
|
|
37
|
+
end
|
|
38
|
+
|
|
39
|
+
# cerror: Error element
|
|
40
|
+
class Cerror < Object
|
|
41
|
+
attribute :csymbol, Csymbol
|
|
42
|
+
attribute :apply, Apply, collection: true
|
|
43
|
+
attribute :ci, Ci, collection: true
|
|
44
|
+
attribute :cn, Cn, collection: true
|
|
45
|
+
|
|
46
|
+
xml do
|
|
47
|
+
element "cerror"
|
|
48
|
+
|
|
49
|
+
map_element "csymbol", to: :csymbol
|
|
50
|
+
map_element "apply", to: :apply
|
|
51
|
+
map_element "ci", to: :ci
|
|
52
|
+
map_element "cn", to: :cn
|
|
53
|
+
end
|
|
54
|
+
end
|
|
55
|
+
|
|
56
|
+
# piece: Case in piecewise definition (defined before Piecewise)
|
|
57
|
+
class Piece < Object
|
|
58
|
+
attribute :apply, Apply, collection: true
|
|
59
|
+
attribute :ci, Ci, collection: true
|
|
60
|
+
attribute :cn, Cn, collection: true
|
|
61
|
+
attribute :csymbol, Csymbol, collection: true
|
|
62
|
+
|
|
63
|
+
xml do
|
|
64
|
+
element "piece"
|
|
65
|
+
|
|
66
|
+
map_element "apply", to: :apply
|
|
67
|
+
map_element "ci", to: :ci
|
|
68
|
+
map_element "cn", to: :cn
|
|
69
|
+
map_element "csymbol", to: :csymbol
|
|
70
|
+
end
|
|
71
|
+
end
|
|
72
|
+
|
|
73
|
+
# otherwise: Default case in piecewise definition (defined before Piecewise)
|
|
74
|
+
class Otherwise < Object
|
|
75
|
+
attribute :apply, Apply, collection: true
|
|
76
|
+
attribute :ci, Ci, collection: true
|
|
77
|
+
attribute :cn, Cn, collection: true
|
|
78
|
+
attribute :csymbol, Csymbol, collection: true
|
|
79
|
+
|
|
80
|
+
xml do
|
|
81
|
+
element "otherwise"
|
|
82
|
+
|
|
83
|
+
map_element "apply", to: :apply
|
|
84
|
+
map_element "ci", to: :ci
|
|
85
|
+
map_element "cn", to: :cn
|
|
86
|
+
map_element "csymbol", to: :csymbol
|
|
87
|
+
end
|
|
88
|
+
end
|
|
89
|
+
|
|
90
|
+
# piecewise: Piecewise definition (defined after Piece and Otherwise)
|
|
91
|
+
class Piecewise < Object
|
|
92
|
+
attribute :piece, Piece, collection: true
|
|
93
|
+
attribute :otherwise, Otherwise
|
|
94
|
+
|
|
95
|
+
xml do
|
|
96
|
+
element "piecewise"
|
|
97
|
+
|
|
98
|
+
map_element "piece", to: :piece
|
|
99
|
+
map_element "otherwise", to: :otherwise
|
|
100
|
+
end
|
|
101
|
+
end
|
|
102
|
+
end
|
|
103
|
+
end
|
|
104
|
+
end
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
module Sts
|
|
4
|
+
module NisoSts
|
|
5
|
+
module MmlContent
|
|
6
|
+
# csymbol: Content symbol (defined symbol)
|
|
7
|
+
# Content: mixed (mglyph | PresentationExpression)*
|
|
8
|
+
# Attributes: type (optional), cd (optional)
|
|
9
|
+
class Csymbol < Object
|
|
10
|
+
attribute :content, :string
|
|
11
|
+
attribute :type, :string
|
|
12
|
+
attribute :cd, :string
|
|
13
|
+
|
|
14
|
+
xml do
|
|
15
|
+
element "csymbol"
|
|
16
|
+
|
|
17
|
+
map_content to: :content
|
|
18
|
+
map_attribute "type", to: :type
|
|
19
|
+
map_attribute "cd", to: :cd
|
|
20
|
+
end
|
|
21
|
+
end
|
|
22
|
+
end
|
|
23
|
+
end
|
|
24
|
+
end
|
|
@@ -0,0 +1,110 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
module Sts
|
|
4
|
+
module NisoSts
|
|
5
|
+
module MmlContent
|
|
6
|
+
# lambda: Lambda expression for creating functions
|
|
7
|
+
class Lambda < Object
|
|
8
|
+
attribute :bvar, Bvar, collection: true
|
|
9
|
+
attribute :apply, Apply, collection: true
|
|
10
|
+
attribute :ci, Ci, collection: true
|
|
11
|
+
attribute :cn, Cn, collection: true
|
|
12
|
+
attribute :csymbol, Csymbol, collection: true
|
|
13
|
+
|
|
14
|
+
xml do
|
|
15
|
+
element "lambda"
|
|
16
|
+
|
|
17
|
+
map_element "bvar", to: :bvar
|
|
18
|
+
map_element "apply", to: :apply
|
|
19
|
+
map_element "ci", to: :ci
|
|
20
|
+
map_element "cn", to: :cn
|
|
21
|
+
map_element "csymbol", to: :csymbol
|
|
22
|
+
end
|
|
23
|
+
end
|
|
24
|
+
|
|
25
|
+
# and: Logical AND
|
|
26
|
+
class And < Object
|
|
27
|
+
xml do
|
|
28
|
+
element "and"
|
|
29
|
+
end
|
|
30
|
+
end
|
|
31
|
+
|
|
32
|
+
# or: Logical OR
|
|
33
|
+
class Or < Object
|
|
34
|
+
xml do
|
|
35
|
+
element "or"
|
|
36
|
+
end
|
|
37
|
+
end
|
|
38
|
+
|
|
39
|
+
# xor: Logical XOR
|
|
40
|
+
class Xor < Object
|
|
41
|
+
xml do
|
|
42
|
+
element "xor"
|
|
43
|
+
end
|
|
44
|
+
end
|
|
45
|
+
|
|
46
|
+
# not: Logical NOT
|
|
47
|
+
class Not < Object
|
|
48
|
+
xml do
|
|
49
|
+
element "not"
|
|
50
|
+
end
|
|
51
|
+
end
|
|
52
|
+
|
|
53
|
+
# forall: Universal quantifier
|
|
54
|
+
class Forall < Object
|
|
55
|
+
xml do
|
|
56
|
+
element "forall"
|
|
57
|
+
end
|
|
58
|
+
end
|
|
59
|
+
|
|
60
|
+
# exists: Existential quantifier
|
|
61
|
+
class Exists < Object
|
|
62
|
+
xml do
|
|
63
|
+
element "exists"
|
|
64
|
+
end
|
|
65
|
+
end
|
|
66
|
+
|
|
67
|
+
# ident: Identity function
|
|
68
|
+
class Ident < Object
|
|
69
|
+
xml do
|
|
70
|
+
element "ident"
|
|
71
|
+
end
|
|
72
|
+
end
|
|
73
|
+
|
|
74
|
+
# inverse: Function inverse
|
|
75
|
+
class Inverse < Object
|
|
76
|
+
xml do
|
|
77
|
+
element "inverse"
|
|
78
|
+
end
|
|
79
|
+
end
|
|
80
|
+
|
|
81
|
+
# compose: Function composition
|
|
82
|
+
class Compose < Object
|
|
83
|
+
xml do
|
|
84
|
+
element "compose"
|
|
85
|
+
end
|
|
86
|
+
end
|
|
87
|
+
|
|
88
|
+
# domain: Domain of a function
|
|
89
|
+
class Domain < Object
|
|
90
|
+
xml do
|
|
91
|
+
element "domain"
|
|
92
|
+
end
|
|
93
|
+
end
|
|
94
|
+
|
|
95
|
+
# codomain: Codomain of a function
|
|
96
|
+
class Codomain < Object
|
|
97
|
+
xml do
|
|
98
|
+
element "codomain"
|
|
99
|
+
end
|
|
100
|
+
end
|
|
101
|
+
|
|
102
|
+
# image: Image of a function
|
|
103
|
+
class Image < Object
|
|
104
|
+
xml do
|
|
105
|
+
element "image"
|
|
106
|
+
end
|
|
107
|
+
end
|
|
108
|
+
end
|
|
109
|
+
end
|
|
110
|
+
end
|