289                        const StringWeight<L, S> &w2) {
290   if (w1.Size() != w2.Size())
294   StringWeightIterator<L, S> iter2(w2);
305                        const StringWeight<L, S> &w2) {
306   return !(w1 == w2);
311                         const StringWeight<L, S> &w2,
313   return w1 == w2;
363      const StringWeight<L, S> &w2) {  in Plus()  argument
365     return w2;  in Plus()
366   if (w2 == StringWeight<L, S>::Zero())  in Plus()
369   if (w1 != w2)  in Plus()
380      const StringWeight<L, STRING_LEFT> &w2) {  in Plus()  argument
382     return w2;  in Plus()
383   if (w2 == StringWeight<L, STRING_LEFT>::Zero())  in Plus()
388   StringWeightIterator<L, STRING_LEFT> iter2(w2);  in Plus()
399      const StringWeight<L, STRING_RIGHT> &w2) {  in Plus()  argument
401     return w2;  in Plus()
402   if (w2 == StringWeight<L, STRING_RIGHT>::Zero())  in Plus()
407   StringWeightReverseIterator<L, STRING_RIGHT> iter2(w2);  in Plus()
417                              const StringWeight<L, S> &w2) {  in Times()  argument
418   if (w1 == StringWeight<L, S>::Zero() || w2 == StringWeight<L, S>::Zero())  in Times()
422   for (StringWeightIterator<L, S> iter(w2); !iter.Done(); iter.Next())  in Times()
433        const StringWeight<L, S> &w2,  in Divide()  argument
440   if (w2 == StringWeight<L, S>::Zero())  in Divide()
448     if (i >= w2.Size())  in Divide()
458        const StringWeight<L, STRING_RIGHT> &w2,  in Divide()  argument
465   if (w2 == StringWeight<L, STRING_RIGHT>::Zero())  in Divide()
473     if (i >= w2.Size())  in Divide()
483        const StringWeight<L, STRING_RIGHT_RESTRICT> &w2,  in Divide()  argument
490   if (w2 == StringWeight<L, STRING_RIGHT_RESTRICT>::Zero())  in Divide()
498     if (i >= w2.Size())  in Divide()
513   GallicWeight(StringWeight<L, S> w1, W w2)  in GallicWeight()
514       : ProductWeight<StringWeight<L, S>, W>(w1, w2) {}  in GallicWeight()