Пример #1
0
        public static List <BasElem> TranslateEdTauToBasElems(STTableau tab)
        {
            int             n     = tab.Number + 1;
            FileStream      v     = File.OpenRead(n.ToString() + ".bas");
            BinaryFormatter b     = new BinaryFormatter();
            Basis           bhigh = (Basis)b.Deserialize(v);

            v.Close();
            return(TranslateEdTauToBasElems(tab, bhigh));
        }
Пример #2
0
        private static List <BasElem> TranslateEdTauToBasElems(STTableau tab, Basis bhigh)
        {
            FSnCollection Sym = tab.YoungSymmetrizer();

            foreach (FSnElement fse in Sym)
            {
                fse.SnElement = fse.SnElement * tab.Numeration.RevPerm();
                fse.SnElement.Add(bhigh.Number);
            }
            FromFSnCollectionToTXTFile(Sym, bhigh);
            UmfpackSolve();
            return(FromTXTFileToBasElems(bhigh));
        }
Пример #3
0
        public readonly int MatrixNum;  //нумерация с нуля

        public BasElem(Basis bas, int poss, Fraction coeff)
        {
            int pos = poss + 1;

            Coeff = coeff;
            int sum = 0;

            if (pos == Common.Factorial(bas.Number))
            {
                Sigma = new STTableau(bas.SaveTabGroups[bas.SaveTabGroups.Count - 1].TabGroupNumerations[0],
                                      bas.SaveTabGroups[bas.SaveTabGroups.Count - 1].TabGroupPartition);
                Tau       = Sigma;
                MatrixNum = bas.SaveTabGroups.Count - 1;
                SigmaInt  = 1;
                TauInt    = 1;
                return;
            }
            if (pos == 1)
            {
                Sigma    = new STTableau(bas.SaveTabGroups[0].TabGroupNumerations[0], bas.SaveTabGroups[0].TabGroupPartition);
                TauInt   = 1;
                SigmaInt = 1;
                Tau      = Sigma;
                return;
            }
            for (int i = 0; i < (int)bas.SaveTabGroups.Count - 1; i++)
            {
                int current = bas.SaveTabGroups[i].TabGroupNumerations.Count;
                int next    = bas.SaveTabGroups[i + 1].TabGroupNumerations.Count;
                sum += current * current;

                if ((pos > sum) && (pos <= sum + next * next))
                {
                    int pos1 = pos - sum;
                    if (pos1 % next == 0)
                    {
                        TauInt   = next;
                        SigmaInt = pos1 / next;
                    }
                    else
                    {
                        SigmaInt = 1 + pos1 / next;
                        TauInt   = pos1 % (next);
                    }
                    Sigma     = new STTableau(bas.SaveTabGroups[i + 1].TabGroupNumerations[SigmaInt - 1], bas.SaveTabGroups[i + 1].TabGroupPartition);
                    Tau       = new STTableau(bas.SaveTabGroups[i + 1].TabGroupNumerations[TauInt - 1], bas.SaveTabGroups[i + 1].TabGroupPartition);
                    MatrixNum = i + 1;
                    break;
                }
            }
        }
Пример #4
0
        public static List <YTFClass> FindTabInYTF(Basis bas, STTableau t)
        {
            FileStream      v   = File.OpenRead(bas.Number.ToString() + ".ytf");
            BinaryFormatter b   = new BinaryFormatter();
            List <YTFClass> ytf = (List <YTFClass>)b.Deserialize(v);

            v.Close();
            List <YTFClass> result = new List <YTFClass>();

            foreach (YTFClass item in ytf)
            {
                if (item.Tab.Equ(t))
                {
                    result.Add(item);
                }
            }
            return(result);
        }
Пример #5
0
 public YTFClass(STTableau t, List <BasElem> bl)
 {
     Tab         = t;
     BasElemList = bl;
 }
Пример #6
0
        //Построение (сортированного по нумерациям) списка диаграмма-нумерации SaveTabGroups
        internal void Core()
        {
            order = Common.GeneratePermutations(this.number);

            //оставляем только инволюции
            List <Permutation> Involutions = new List <Permutation>();

            for (int i = 0; i < this.order.Count; i++)
            {
                if (this.order[i].IsInvolution())
                {
                    Involutions.Add(this.order[i]);
                }
            }

            //генерация разбиений
            List <Partition> Partitions = Common.GeneratePartitions(this.number);

            for (int i = 0; i < Partitions.Count; i++)
            {
                SaveTabGroups.Add(new TabSet(Partitions[i]));
            }

            //алгоритм вставки Шенстеда и запись в SaveTabGroups
            for (int i = 0; i < (int)Involutions.Count; i++)
            {
                STTableau tab = new STTableau(Involutions[i]);
                for (int j = 0; j < (int)Partitions.Count; j++)
                {
                    if (tab.DiagElemRow == SaveTabGroups[j].TabGroupPartition)
                    {
                        SaveTabGroups[j].TabGroupNumerations.Add(tab.Numeration);
                    }
                }
            }

            //сортировка таблиц в SaveTabGroups
            for (int i = 1; i < SaveTabGroups.Count - 1; i++)
            {
                int   count = SaveTabGroups[i].TabGroupNumerations.Count;
                int[] array = new int[count];
                for (int j = 0; j < count; j++) //для одной группы записываем нумерации строкой цифр
                {
                    string st = "";
                    for (int h = 0; h < number; h++)
                    {
                        st += SaveTabGroups[i].TabGroupNumerations[j][h];
                    }
                    array[j] = int.Parse(st);
                }
                Common.RadixSorting(array, 10, number);
                for (int j = 0; j < count; j++)
                {
                    SaveTabGroups[i].TabGroupNumerations.RemoveAt(j);
                    string      st         = (array[j]).ToString();
                    Permutation arrForPerm = new Permutation();
                    for (int p = 0; p < this.number; p++)
                    {
                        arrForPerm.Add(int.Parse(st.Substring(p, 1)));
                    }
                    SaveTabGroups[i].TabGroupNumerations.Insert(j, arrForPerm);
                }
            }
        }