CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418386
Tweet
Share
Share
1
/*

2
 * Normaliz

3
 * Copyright (C) 2007-2014  Winfried Bruns, Bogdan Ichim, Christof Soeger

4
 * This program is free software: you can redistribute it and/or modify

5
 * it under the terms of the GNU General Public License as published by

6
 * the Free Software Foundation, either version 3 of the License, or

7
 * (at your option) any later version.

8
 *

9
 * This program is distributed in the hope that it will be useful,

10
 * but WITHOUT ANY WARRANTY; without even the implied warranty of

11
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

12
 * GNU General Public License for more details.

13
 *

14
 * You should have received a copy of the GNU General Public License

15
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.

16
 *

17
 * As an exception, when this program is distributed through (i) the App Store

18
 * by Apple Inc.; (ii) the Mac App Store by Apple Inc.; or (iii) Google Play

19
 * by Google Inc., then that store may impose any digital rights management,

20
 * device limits and/or redistribution restrictions that are required by its

21
 * terms of service.

22
 */

23


24
#ifndef LIBNORMALIZ_H_

25
#define LIBNORMALIZ_H_

26


27
#include <iostream>

28
#include <string>

29


30
#include <libQnormaliz/Qversion.h>

31


32
namespace libQnormaliz {

33


34
namespace Type {

35
enum InputType {

36
    integral_closure,

37
    polyhedron,

38
    normalization,

39
    polytope,

40
    rees_algebra,

41
    inequalities,

42
    strict_inequalities,

43
    signs,

44
    strict_signs,

45
    equations,

46
    congruences,

47
    inhom_inequalities,

48
    dehomogenization,

49
    inhom_equations,

50
    inhom_congruences,

51
    lattice_ideal,

52
    grading,

53
    excluded_faces,

54
    lattice,

55
    saturation,

56
    cone,

57
    offset,

58
    vertices,

59
    support_hyperplanes,

60
    cone_and_lattice,

61
    subspace

62
};

63
} //end namespace Type

64


65
using Type::InputType;

66


67
/* converts a string to an InputType

68
 * throws an BadInputException if the string cannot be converted */

69
InputType to_type(const std::string& type_string);

70


71
/* gives the difference of the number of columns to the dimension */

72
long type_nr_columns_correction(InputType type);

73


74
/* returns true if the input of this type is a vector */

75
bool type_is_vector(InputType type);

76


77
/* this type is used in the entries of keys

78
 * it has to be able to hold number of generators */

79
typedef unsigned int key_t;

80


81
extern bool verbose;

82
extern size_t GMP_mat, GMP_hyp, GMP_scal_prod;

83
extern size_t TotDet;

84


85
/* if test_arithmetic_overflow is true, many operations are also done

86
 * modulo overflow_test_modulus to ensure the correctness of the calculations */

87
// extern bool test_arithmetic_overflow;

88
// extern long overflow_test_modulus;

89


90
/* set the verbose default value */

91
bool setVerboseDefault(bool v);

92
/* methods to set and use the output streams */

93
void setVerboseOutput(std::ostream&);

94
void setErrorOutput(std::ostream&);

95


96
std::ostream& verboseOutput();

97
std::ostream& errorOutput();

98


99
} /* end namespace libQnormaliz */

100


101
#endif /* LIBNORMALIZ_H_ */

102


103