Package cc.redberry.core.indices

Examples of cc.redberry.core.indices.StructureOfIndices

90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
        return parent.getDerivative(resOrder);
    }

    private void initializeSymmetries() {
        StructureOfIndices baseStructure = structuresOfIndices[0];

        StructureOfIndices[] partition = new StructureOfIndices[1 + ArraysUtils.sum(orders)];
        partition[0] = parent.structuresOfIndices[0];
        int i, j, k = 0;
        for (i = 0; i < orders.length; ++i)
            for (j = 0; j < orders[i]; ++j)
                partition[++k] = structuresOfIndices[i + 1].getInverted();
        int[][] mapping = baseStructure.getPartitionMappings(partition);

        //adding field symmetries
        for (Permutation p : parent.symmetries.getGenerators())
            symmetries.addSymmetry(convertPermutation(p, mapping[0], baseStructure.size()));


        //adding block symmetries of derivatives
        IntArrayList aggregator = new IntArrayList();
        j = 1;
        int cycle[];
        for (i = 0; i < orders.length; ++i) {
            if (structuresOfIndices[i + 1].size() != 0 && orders[i] >= 2) {
                //adding symmetries for indices from each slot
                cycle = Permutations.createBlockCycle(structuresOfIndices[i + 1].size(), 2);
                aggregator.addAll(mapping[j]);
                aggregator.addAll(mapping[j + 1]);
                symmetries.addSymmetry(
                        Permutations.createPermutation(convertPermutation(cycle, aggregator.toArray(), baseStructure.size())));

                if (orders[i] >= 3) {
                    for (k = 2; k < orders[i]; ++k)
                        aggregator.addAll(mapping[j + k]);

                    cycle = Permutations.createBlockCycle(structuresOfIndices[i + 1].size(), orders[i]);
                    symmetries.addSymmetry(
                            Permutations.createPermutation(convertPermutation(cycle, aggregator.toArray(), baseStructure.size())));
                }
                aggregator.clear();
            }
            j += orders[i];
        }
View Full Code Here
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
    }

    private NameDescriptor createDescriptor(final String sname, final StructureOfIndices[] structuresOfIndices, int id) {
        if (structuresOfIndices.length != 1)
            return new NameDescriptorForTensorFieldImpl(sname, structuresOfIndices, id);
        final StructureOfIndices its = structuresOfIndices[0];
        if (its.size() != 2)
            return new NameDescriptorForSimpleTensor(sname, structuresOfIndices, id);
        for (byte b = 0; b < IndexType.TYPES_COUNT; ++b)
            if (its.typeCount(b) == 2) {
                if (CC.isMetric(b)) {
                    if (sname.equals(kroneckerAndMetricNames[0]) || sname.equals(kroneckerAndMetricNames[1])) {
                        NameDescriptor descriptor = new NameDescriptorForMetricAndKronecker(kroneckerAndMetricNames, b, id);
                        descriptor.getSymmetries().add(b, false, 1, 0);
                        return descriptor;
                    }
                } else {
                    if (sname.equals(kroneckerAndMetricNames[1]))
                        throw new ParserException("Metric is not specified for non metric index type.");
                    if (sname.equals(kroneckerAndMetricNames[0])) {
                        if (its.getTypeData(b).states.get(0) != true || its.getTypeData(b).states.get(1) != false)
                            throw new ParserException("Illegal Kroneckers indices states.");
                        NameDescriptor descriptor = new NameDescriptorForMetricAndKronecker(kroneckerAndMetricNames, b, id);
                        return descriptor;
                    }
                }
View Full Code Here
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
    }

    private NameDescriptor createDescriptor(final String sname, final StructureOfIndices[] structuresOfIndices, int id) {
        if (structuresOfIndices.length != 1)
            return new NameDescriptorForTensorFieldImpl(sname, structuresOfIndices, id);
        final StructureOfIndices its = structuresOfIndices[0];
        if (its.size() != 2)
            return new NameDescriptorForSimpleTensor(sname, structuresOfIndices, id);
        for (byte b = 0; b < IndexType.TYPES_COUNT; ++b)
            if (its.typeCount(b) == 2) {
                if (CC.isMetric(b)) {
                    if (sname.equals(kroneckerAndMetricNames[0]) || sname.equals(kroneckerAndMetricNames[1])) {
                        NameDescriptor descriptor = new NameDescriptorForMetricAndKronecker(kroneckerAndMetricNames, b, id);
                        descriptor.getSymmetries().add(b, false, 1, 0);
                        return descriptor;
                    }
                } else {
                    if (sname.equals(kroneckerAndMetricNames[1]))
                        throw new ParserException("Metric is not specified for non metric index type.");
                    if (sname.equals(kroneckerAndMetricNames[0])) {
                        if (its.getTypeData(b).states.get(0) != true || its.getTypeData(b).states.get(1) != false)
                            throw new ParserException("Illegal Kroneckers indices states.");
                        NameDescriptor descriptor = new NameDescriptorForMetricAndKronecker(kroneckerAndMetricNames, b, id);
                        return descriptor;
                    }
                }
View Full Code Here
464
465
466
467
468
469
470
471
472
473
474
                "iK", "HATK", "HATW", "HATS", "NABLAS",
                "HATN", "HATF", "NABLAF", "HATM", "DELTA",
                "Flat", "FF", "WR", "SR", "SSR", "FR", "RR", "Kn"};

        //F_{lm} type structure
        final StructureOfIndices F_TYPE_STRUCTURE = new StructureOfIndices(IndexType.LatinLower.getType(), 2);
        //matrices indicator for parse preprocessor
        final Indicator<ParseTokenSimpleTensor> matricesIndicator = new Indicator<ParseTokenSimpleTensor>() {

            @Override
            public boolean is(ParseTokenSimpleTensor object) {
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
final class TraceUtils {
    static final IndexType[] extractTypesFromMatrix(SimpleTensor matrix) {
        if (matrix.getIndices().size() != 3)
            throw new IllegalArgumentException("Not a matrix: " + matrix + ".");
        NameDescriptor descriptor = CC.getNameDescriptor(matrix.getName());
        StructureOfIndices typeStructure = descriptor.getStructureOfIndices();
        byte metricType = -1, matrixType = -1;
        int typeCount;
        for (byte type = 0; type < IndexType.TYPES_COUNT; ++type) {
            typeCount = typeStructure.typeCount(type);
            if (typeCount == 0)
                continue;
            else if (typeCount == 2) {
                if (matrixType != -1)
                    throw new IllegalArgumentException("Not a matrix: " + matrix + ".");
View Full Code Here
464
465
466
467
468
469
470
471
472
473
474
                "iK", "HATK", "HATW", "HATS", "NABLAS",
                "HATN", "HATF", "NABLAF", "HATM", "DELTA",
                "Flat", "FF", "WR", "SR", "SSR", "FR", "RR", "Kn"};

        //F_{lm} type structure
        final StructureOfIndices F_TYPE_STRUCTURE = StructureOfIndices.create(IndexType.LatinLower.getType(), 2);
        //matrices indicator for parse preprocessor
        final Indicator<ParseTokenSimpleTensor> matricesIndicator = new Indicator<ParseTokenSimpleTensor>() {

            @Override
            public boolean is(ParseTokenSimpleTensor object) {
View Full Code Here
47
48
49
50
51
52
53
54
55
56
    }

    private static StructureOfIndices[] createIndicesTypeStructures(byte type) {
        StructureOfIndices[] structures = new StructureOfIndices[1];
        if (!CC.isMetric(type))
            structures[0] = new StructureOfIndices(type, 2, true, false);
        else
            structures[0] = new StructureOfIndices(type, 2);
        return structures;
    }
View Full Code Here
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
    }

    private NameDescriptor createDescriptor(final String sname, final StructureOfIndices[] structuresOfIndices, int id) {
        if (structuresOfIndices.length != 1)
            return new NameDescriptorImpl(sname, structuresOfIndices, id);
        final StructureOfIndices its = structuresOfIndices[0];
        if (its.size() != 2)
            return new NameDescriptorImpl(sname, structuresOfIndices, id);
        for (byte b = 0; b < IndexType.TYPES_COUNT; ++b)
            if (its.typeCount(b) == 2) {
                if (CC.isMetric(b)) {
                    if (sname.equals(kroneckerAndMetricNames[0]) || sname.equals(kroneckerAndMetricNames[1])) {
                        NameDescriptor descriptor = new NameDescriptorForMetricAndKronecker(kroneckerAndMetricNames, b, id);
                        descriptor.getSymmetries().add(b, false, 1, 0);
                        return descriptor;
                    }
                } else {
                    if (sname.equals(kroneckerAndMetricNames[1]))
                        throw new ParserException("Metric is not specified for non metric index type.");
                    if (sname.equals(kroneckerAndMetricNames[0])) {
                        if (its.getTypeData(b).states.get(0) != true || its.getTypeData(b).states.get(1) != false)
                            throw new ParserException("Illegal Kroneckers indices states.");
                        NameDescriptor descriptor = new NameDescriptorForMetricAndKronecker(kroneckerAndMetricNames, b, id);
                        return descriptor;
                    }
                }
View Full Code Here
57
58
59
60
61
62
63
64
65
66
67
68
69
    }

    @Override
    public NameAndStructureOfIndices getIndicesTypeStructureAndName() {
        StructureOfIndices[] typeStructures = new StructureOfIndices[1 + argumentsIndices.length];
        typeStructures[0] = new StructureOfIndices(indices);
        for (int i = 0; i < argumentsIndices.length; ++i) {
            if (argumentsIndices[i] == null)
                argumentsIndices[i] = IndicesFactory.createSimple(null, content[i].getIndices().getFree());
            typeStructures[i + 1] = new StructureOfIndices(argumentsIndices[i]);
        }
        return new NameAndStructureOfIndices(name, typeStructures);
    }
View Full Code Here
50
51
52
53
54
55
56
57
58
59
    }

    private static StructureOfIndices[] createIndicesTypeStructures(byte type) {
        StructureOfIndices[] structures = new StructureOfIndices[1];
        if (!CC.isMetric(type))
            structures[0] = new StructureOfIndices(type, 2, true, false);
        else
            structures[0] = new StructureOfIndices(type, 2);
        return structures;
    }
View Full Code Here
TOP

Related Classes of cc.redberry.core.indices.StructureOfIndices

  • cc.redberry.core.context.NameDescriptorForMetricAndKronecker
  • cc.redberry.core.context.NameDescriptorForTensorFieldDerivative
  • cc.redberry.core.context.NameManager
  • cc.redberry.core.parser.ParseTokenSimpleTensor
  • cc.redberry.core.parser.ParseTokenTensorField
  • cc.redberry.core.tensorgenerator.TensorGenerator$Wrapper
  • cc.redberry.core.utils.BitArray
  • cc.redberry.core.utils.ByteBackedBitArray
  • cc.redberry.physics.feyncalc.TraceUtils
  • cc.redberry.physics.oneloopdiv.OneLoopCounterterms
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.