ISO INTERNATIONAL STANDARD 10303-50 First edition 2002-05-01 Industrial automation systems and integration Product data representation and exchange Part 50: Integrated generic resource: Mathematical constructs Systemes d'automatisation industrielle et integration - Représentation et échange de données de produits- Partie 50: Ressources genériques integrees: Constructions mathematiques Reference number ISO 10303-50:2002(E) @ ISO 2002 Not for Resa ISO 10303-50:2002(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobe's licensing policy, this file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by isO member bodies. In the unlikely event ?ISO2002 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic in the country of the requester. ISO copyright office Case postale 56. CH-1211 Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail [email protected] Web www.iso.ch Printed in Switzerland @IsO2002-All rights reserved itted without license from IHS Not for Resale ISO 10303-50:2002(E) Contents Page 1 Scope 1 2 Normative references 1 3 Terms, definitions, and symbols 2 3.1 Terms defined in ISO 10303-1 2 3.2 Other terms and definitions 3.3 Symbols 5 4 Mathematical functions 6 4.1 Introduction 8 4.2 Fundamental concepts and assumptions 8 4.2.1 Mathematical function 8 4.2.2 Mathematical object or value 9 4.2.3 Mathematical expression 10 4.2.4 Mathematical space 10 4.2.5 Mathematical tuple 11 4.2.6 Function domains and ranges 11 4.2.7 Spaces of one-tuples 12 4.2.8 Array function 12 4.2.9 Table function 12 4.2.10 Matrix 12 4.2.11 Inputs and Parameters 13 4.2.12 Function evaluation 14 4.2.13 Function application 14 4.3 Mathematical functions schema constant definitions 14 4.3.1 schema-prefix 15 4.3.2 the elementary spaces 15 4.3.3 the empty space 15 4.3.4 real intervals 15 4.3.5 tuple spaces 16 4.3.6 empty values 16 4.4 Mathematical functions schema type definitions 17 4.4.1 nonnegative_integer 17 4.4.2 positive_integer 17 4.4.3 zero_or_one 17 4.4.4 one_or_two 18 4.4.5 local names for simple types 18 4.4.6 maths_simple_atom 18 4.4.7 maths_atom 19 4.4.8 atom_based_tuple 19 4.4.9 atom_based_value 19 4.4.10 maths-tuple 20 4.4.11 maths_value 20 4.4.12 maths_expression 20 4.4.13 maths_function_select 21 4.4.14 input_selector 21 4.4.15 elementary-space-e 22 4.4.16 ordering-type 23 4.4.17 lower_upper 24 4.4.18 symmetry-type 24 @ ISO 2002 - - All rights reserved ii Copyright Intern nal Organization for Standardization Not for Resale ISO 10303-50:2002(E) 4.4.19 elementary_function_enumerators 25 4.4.20 open_closed 31 4.4.21 space_constraint_type 31 4.4.22 repackage-options 32 4.4.23 extension-options . 32 4.4.24 maths_enum_atom 33 4.4.25 dotted_express_identifier 34 4.4.26 express_identifier 34 4.4.27 product_space 34 4.4.28 tuple_space 35 4.4.29 maths_space_or_function 35 4.4.30 real_interval . 35 4.5 Mathematical functions schema entity definitions 36 4.5.1 quantifier-expression 36 4.5.2 dependent_variable_definition 37 4.5.3 bound_variable_semantics 37 4.5.4 free_variable_semantics 88 4.5.5 complex_number_literal 88 4.5.6 logical literal 39 4.5.7 binaryliteral 39 4.5.8 maths_enum_literal 39 4.5.9 real_tuple_literal 40 4.5.10 integer-tuple_literal 40 4.5.11 atom_based_literal 40 4.5.12 maths_tuple_literal 41 4.5.13 maths_variable 41 4.5.14 maths_real_variable 42 4.5.15 maths_integer-variable 42 4.5.16 maths_boolean_variable 43 4.5.17 maths_string-variable 43 4.5.18 function-application