742:
36:
923:
424:
765:, which are free variables for which values are sought that cause the condition to be fulfilled. To be precise, what is sought are often not necessarily actual values, but, more in general, expressions. A
948:
can be read as "and"); the set of its solutions is shown in blue in the picture (the red, green, and orange line corresponding to the 1st, 2nd, and 3rd conjunct, respectively). For a larger example. see
790:
761:
means finding what values (numbers, functions, sets, etc.) fulfill a condition stated in the form of an inequation or a conjunction of several inequations. These expressions contain one or more
1028:
572:
273:
In some cases, the term "inequation" can be considered synonymous to the term "inequality", while in other cases, an inequation is reserved only for statements whose inequality relation is "
691:
1164:
773:
that satisfies the inequation(s); in other words, expressions such that, when they are substituted for the unknowns, make the inequations true propositions. Often, an additional
328:
980:
Usually because of the properties of certain functions (like square roots), some inequations are equivalent to a combination of multiple others. For example, the inequation
514:
633:
214:
1066:
1102:
601:
268:
946:
479:
453:
241:
175:
731:
711:
148:
denoting the values in question, with a relational sign between them indicating the specific inequality relation. Some examples of inequations are:
339:
968:
III also supports solving algorithms for particular classes of inequalities (and other relations) as a basic language feature. For more, see
1269:
918:{\displaystyle 0\leq x_{1}\leq 690-1.5\cdot x_{2}\;\land \;0\leq x_{2}\leq 530-x_{1}\;\land \;x_{1}\leq 640-0.75\cdot x_{2}}
100:
1298:
983:
72:
519:
1396:
1312:
1225:
119:
638:
1108:
79:
57:
86:
969:
1391:
53:
295:
289:
of several inequations involving common expressions, by chaining them together. For example, the chain
68:
1191:
487:
145:
141:
777:
expression (i.e., an optimization equation) is given, that is to be minimized or maximized by an
606:
181:
46:
1036:
1072:
957:
950:
577:
247:
931:
458:
432:
220:
154:
484:
In rare cases, chains without such implications about distant terms are used. For example
8:
1304:
1196:
286:
93:
1175:
716:
696:
1318:
1308:
1221:
961:
741:
1294:
754:
1361:
1337:
746:
1303:. Cambridge Mathematical Textbooks. Cambridge University Press. definition of a
1245:
1385:
1186:
144:
holds between two values. It is usually written in the form of a pair of
133:
964:
finds optimal solutions of linear inequations. The programming language
419:{\displaystyle 0\leq a~~\mathrm {and} ~~a<b~~\mathrm {and} ~~b\leq 1}
1030:
is logically equivalent to the following three inequations combined:
35:
1181:
1292:
928:
is a conjunction of inequations, partly written as chains (where
1322:
965:
20:
24:
769:
of the inequation is an assignment of expressions to the
1178:— a form of inequality in constructive mathematics
956:
Computer support in solving inequations is described in
987:
1111:
1075:
1039:
986:
934:
793:
719:
699:
641:
609:
580:
522:
490:
461:
435:
342:
298:
250:
223:
184:
157:
1215:
16:
Mathematical statement that two values are not equal
60:. Unsourced material may be challenged and removed.
1158:
1096:
1060:
1022:
940:
917:
725:
705:
685:
627:
595:
566:
508:
473:
447:
418:
322:
262:
235:
208:
169:
1023:{\displaystyle \textstyle {\sqrt {f(x)}}<g(x)}
1383:
567:{\displaystyle i\neq 0~~\mathrm {and} ~~0\neq j}
686:{\displaystyle a<b~~\mathrm {and} ~~b>c}
1159:{\displaystyle f(x)<\left(g(x)\right)^{2}}
19:"≠" redirects here. Not to be confused with
975:
879:
875:
839:
835:
120:Learn how and when to remove this message
1218:The A to Z of Mathematics: A Basic Guide
740:
280:
1384:
736:
1243:
285:A shorthand notation is used for the
1239:
1237:
1220:. John Wiley and Sons. p. 252.
693:, which does not imply any order of
58:adding citations to reliable sources
29:
1362:"Optimization - The simplex method"
13:
1338:"Linear Programming: Introduction"
1335:
1300:Introduction to Lattices and Order
749:) for a sample list of inequations
664:
661:
658:
545:
542:
539:
397:
394:
391:
365:
362:
359:
323:{\displaystyle 0\leq a<b\leq 1}
14:
1408:
1234:
34:
45:needs additional citations for
1354:
1329:
1286:
1262:
1209:
1142:
1136:
1121:
1115:
1085:
1079:
1049:
1043:
1016:
1010:
999:
993:
1:
1216:Thomas H. Sidebotham (2002).
1202:
509:{\displaystyle i\neq 0\neq j}
970:constraint logic programming
7:
1169:
745:Solution set (portrayed as
628:{\displaystyle a<b>c}
209:{\displaystyle x+y+z\leq 1}
10:
1413:
1061:{\displaystyle f(x)\geq 0}
951:Linear programming#Example
18:
1097:{\displaystyle g(x)>0}
1397:Mathematical terminology
1307:in exercise 1.11, p.23.
1192:Inequality (mathematics)
976:Combinations of meanings
596:{\displaystyle i\neq j.}
429:which also implies that
1366:Encyclopedia Britannica
574:, which does not imply
263:{\displaystyle x\neq 0}
140:is a statement that an
1160:
1098:
1062:
1024:
958:constraint programming
942:
941:{\displaystyle \land }
919:
750:
727:
707:
687:
629:
597:
568:
510:
475:
474:{\displaystyle a<1}
449:
448:{\displaystyle 0<b}
420:
324:
264:
237:
236:{\displaystyle n>1}
210:
171:
170:{\displaystyle a<b}
1250:mathworld.wolfram.com
1161:
1099:
1063:
1025:
960:; in particular, the
943:
920:
744:
728:
708:
688:
630:
598:
569:
511:
476:
450:
421:
325:
281:Chains of inequations
265:
238:
211:
172:
1295:Hilary Ann Priestley
1109:
1073:
1037:
984:
932:
791:
717:
697:
639:
607:
578:
520:
488:
459:
433:
340:
296:
248:
221:
182:
155:
54:improve this article
1336:Stapel, Elizabeth.
1244:Weisstein, Eric W.
1197:Relational operator
737:Solving inequations
1392:Elementary algebra
1176:Apartness relation
1156:
1094:
1058:
1020:
1019:
938:
915:
759:inequation solving
751:
723:
703:
683:
625:
593:
564:
506:
471:
445:
416:
320:
260:
233:
206:
167:
1002:
962:simplex algorithm
726:{\displaystyle c}
706:{\displaystyle a}
673:
670:
656:
653:
635:is shorthand for
554:
551:
537:
534:
516:is shorthand for
406:
403:
389:
386:
374:
371:
357:
354:
333:is shorthand for
130:
129:
122:
104:
1404:
1376:
1375:
1373:
1372:
1358:
1352:
1351:
1349:
1348:
1333:
1327:
1326:
1293:Brian A. Davey;
1290:
1284:
1283:
1281:
1280:
1266:
1260:
1259:
1257:
1256:
1241:
1232:
1231:
1213:
1165:
1163:
1162:
1157:
1155:
1154:
1149:
1145:
1103:
1101:
1100:
1095:
1067:
1065:
1064:
1059:
1029:
1027:
1026:
1021:
1003:
989:
947:
945:
944:
939:
924:
922:
921:
916:
914:
913:
889:
888:
874:
873:
855:
854:
834:
833:
809:
808:
755:equation solving
732:
730:
729:
724:
712:
710:
709:
704:
692:
690:
689:
684:
671:
668:
667:
654:
651:
634:
632:
631:
626:
602:
600:
599:
594:
573:
571:
570:
565:
552:
549:
548:
535:
532:
515:
513:
512:
507:
480:
478:
477:
472:
454:
452:
451:
446:
425:
423:
422:
417:
404:
401:
400:
387:
384:
372:
369:
368:
355:
352:
329:
327:
326:
321:
269:
267:
266:
261:
242:
240:
239:
234:
215:
213:
212:
207:
176:
174:
173:
168:
125:
118:
114:
111:
105:
103:
62:
38:
30:
1412:
1411:
1407:
1406:
1405:
1403:
1402:
1401:
1382:
1381:
1380:
1379:
1370:
1368:
1360:
1359:
1355:
1346:
1344:
1334:
1330:
1315:
1291:
1287:
1278:
1276:
1268:
1267:
1263:
1254:
1252:
1242:
1235:
1228:
1214:
1210:
1205:
1172:
1150:
1132:
1128:
1127:
1110:
1107:
1106:
1074:
1071:
1070:
1038:
1035:
1034:
988:
985:
982:
981:
978:
933:
930:
929:
909:
905:
884:
880:
869:
865:
850:
846:
829:
825:
804:
800:
792:
789:
788:
747:feasible region
739:
718:
715:
714:
698:
695:
694:
657:
640:
637:
636:
608:
605:
604:
579:
576:
575:
538:
521:
518:
517:
489:
486:
485:
460:
457:
456:
434:
431:
430:
390:
358:
341:
338:
337:
297:
294:
293:
283:
249:
246:
245:
222:
219:
218:
183:
180:
179:
156:
153:
152:
126:
115:
109:
106:
63:
61:
51:
39:
28:
17:
12:
11:
5:
1410:
1400:
1399:
1394:
1378:
1377:
1353:
1328:
1313:
1285:
1261:
1233:
1226:
1207:
1206:
1204:
1201:
1200:
1199:
1194:
1189:
1184:
1179:
1171:
1168:
1167:
1166:
1153:
1148:
1144:
1141:
1138:
1135:
1131:
1126:
1123:
1120:
1117:
1114:
1104:
1093:
1090:
1087:
1084:
1081:
1078:
1068:
1057:
1054:
1051:
1048:
1045:
1042:
1018:
1015:
1012:
1009:
1006:
1001:
998:
995:
992:
977:
974:
937:
926:
925:
912:
908:
904:
901:
898:
895:
892:
887:
883:
878:
872:
868:
864:
861:
858:
853:
849:
845:
842:
838:
832:
828:
824:
821:
818:
815:
812:
807:
803:
799:
796:
738:
735:
722:
702:
682:
679:
676:
666:
663:
660:
650:
647:
644:
624:
621:
618:
615:
612:
592:
589:
586:
583:
563:
560:
557:
547:
544:
541:
531:
528:
525:
505:
502:
499:
496:
493:
470:
467:
464:
444:
441:
438:
427:
426:
415:
412:
409:
399:
396:
393:
383:
380:
377:
367:
364:
361:
351:
348:
345:
331:
330:
319:
316:
313:
310:
307:
304:
301:
282:
279:
271:
270:
259:
256:
253:
243:
232:
229:
226:
216:
205:
202:
199:
196:
193:
190:
187:
177:
166:
163:
160:
128:
127:
42:
40:
33:
15:
9:
6:
4:
3:
2:
1409:
1398:
1395:
1393:
1390:
1389:
1387:
1367:
1363:
1357:
1343:
1339:
1332:
1324:
1320:
1316:
1314:0-521-36766-2
1310:
1306:
1302:
1301:
1296:
1289:
1275:
1274:bestmaths.net
1271:
1265:
1251:
1247:
1240:
1238:
1229:
1227:0-471-15045-2
1223:
1219:
1212:
1208:
1198:
1195:
1193:
1190:
1188:
1185:
1183:
1180:
1177:
1174:
1173:
1151:
1146:
1139:
1133:
1129:
1124:
1118:
1112:
1105:
1091:
1088:
1082:
1076:
1069:
1055:
1052:
1046:
1040:
1033:
1032:
1031:
1013:
1007:
1004:
996:
990:
973:
971:
967:
963:
959:
954:
952:
935:
910:
906:
902:
899:
896:
893:
890:
885:
881:
876:
870:
866:
862:
859:
856:
851:
847:
843:
840:
836:
830:
826:
822:
819:
816:
813:
810:
805:
801:
797:
794:
787:
786:
785:
784:For example,
782:
780:
776:
772:
768:
764:
760:
756:
748:
743:
734:
720:
700:
680:
677:
674:
648:
645:
642:
622:
619:
616:
613:
610:
590:
587:
584:
581:
561:
558:
555:
529:
526:
523:
503:
500:
497:
494:
491:
482:
468:
465:
462:
442:
439:
436:
413:
410:
407:
381:
378:
375:
349:
346:
343:
336:
335:
334:
317:
314:
311:
308:
305:
302:
299:
292:
291:
290:
288:
278:
276:
257:
254:
251:
244:
230:
227:
224:
217:
203:
200:
197:
194:
191:
188:
185:
178:
164:
161:
158:
151:
150:
149:
147:
143:
139:
135:
124:
121:
113:
102:
99:
95:
92:
88:
85:
81:
78:
74:
71: –
70:
66:
65:Find sources:
59:
55:
49:
48:
43:This article
41:
37:
32:
31:
26:
22:
1369:. Retrieved
1365:
1356:
1345:. Retrieved
1341:
1331:
1299:
1288:
1277:. Retrieved
1273:
1264:
1253:. Retrieved
1249:
1246:"Inequation"
1217:
1211:
979:
955:
927:
783:
778:
774:
770:
766:
762:
758:
752:
483:
428:
332:
284:
275:not equal to
274:
272:
137:
131:
116:
107:
97:
90:
83:
76:
69:"Inequation"
64:
52:Please help
47:verification
44:
1270:"BestMaths"
1187:Equals sign
753:Similar to
603:Similarly,
287:conjunction
146:expressions
134:mathematics
1386:Categories
1371:2019-12-03
1347:2019-12-03
1342:Purplemath
1279:2019-12-03
1255:2019-12-03
1203:References
781:solution.
142:inequality
138:inequation
110:March 2010
80:newspapers
1053:≥
936:∧
903:⋅
897:−
891:≤
877:∧
863:−
857:≤
844:≤
837:∧
823:⋅
817:−
811:≤
798:≤
775:objective
585:≠
559:≠
527:≠
501:≠
495:≠
411:≤
347:≤
315:≤
303:≤
255:≠
201:≤
1323:89009753
1297:(1990).
1182:Equation
1170:See also
771:unknowns
767:solution
763:unknowns
779:optimal
277:" (≠).
94:scholar
1321:
1311:
1224:
966:Prolog
672:
669:
655:
652:
553:
550:
536:
533:
405:
402:
388:
385:
373:
370:
356:
353:
96:
89:
82:
75:
67:
1305:fence
136:, an
101:JSTOR
87:books
1319:LCCN
1309:ISBN
1222:ISBN
1125:<
1089:>
1005:<
900:0.75
713:and
678:>
646:<
620:>
614:<
466:<
455:and
440:<
379:<
309:<
228:>
162:<
73:news
894:640
860:530
820:1.5
814:690
132:In
56:by
23:or
1388::
1364:.
1340:.
1317:.
1272:.
1248:.
1236:^
972:.
953:.
757:,
733:.
481:.
1374:.
1350:.
1325:.
1282:.
1258:.
1230:.
1152:2
1147:)
1143:)
1140:x
1137:(
1134:g
1130:(
1122:)
1119:x
1116:(
1113:f
1092:0
1086:)
1083:x
1080:(
1077:g
1056:0
1050:)
1047:x
1044:(
1041:f
1017:)
1014:x
1011:(
1008:g
1000:)
997:x
994:(
991:f
911:2
907:x
886:1
882:x
871:1
867:x
852:2
848:x
841:0
831:2
827:x
806:1
802:x
795:0
721:c
701:a
681:c
675:b
665:d
662:n
659:a
649:b
643:a
623:c
617:b
611:a
591:.
588:j
582:i
562:j
556:0
546:d
543:n
540:a
530:0
524:i
504:j
498:0
492:i
469:1
463:a
443:b
437:0
414:1
408:b
398:d
395:n
392:a
382:b
376:a
366:d
363:n
360:a
350:a
344:0
318:1
312:b
306:a
300:0
258:0
252:x
231:1
225:n
204:1
198:z
195:+
192:y
189:+
186:x
165:b
159:a
123:)
117:(
112:)
108:(
98:·
91:·
84:·
77:·
50:.
27:.
25:ǂ
21:‡
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.